texlive-logicproof - Box proofs for propositional and predicate logic

Property Value
Distribution OpenMandriva Lx 3.0
Repository OpenMandriva Main Release i586
Package filename texlive-logicproof-20140327-4-omv2015.0.noarch.rpm
Package name texlive-logicproof
Package version 20140327
Package release 4-omv2015.0
Package architecture noarch
Package type rpm
Category Publishing
Homepage http://www.ctan.org/tex-archive/macros/latex/contrib/logicproof
License LPPL1.3
Maintainer -
Download size 64.93 KB
Installed size 84.46 KB
A common style of proof used in propositional and predicate
logic is Fitch proofs, in which each line of the proof has a
statement and a justification, and subproofs within a larger
proof have boxes around them. The package provides environments
for typesetting such proofs and boxes. It creates proofs in a
style similar to that used in "Logic in Computer Science" by
Huth and Ryan.


Package Version Architecture Repository
texlive-logicproof-20140327-4-omv2015.0.noarch.rpm 20140327 noarch OpenMandriva Main Release
texlive-logicproof - - -


Name Value
texlive-kpathsea -
texlive-tlpkg -


Name Value
texlive-logicproof == 20140327-4:2015.0


Type URL
Mirror abf-downloads.openmandriva.org
Binary Package texlive-logicproof-20140327-4-omv2015.0.noarch.rpm
Source Package texlive-logicproof-20140327-4.src.rpm

Install Howto

  1. Enable OpenMandriva Main Release repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install texlive-logicproof rpm package:
    # urpmi texlive-logicproof



See Also

Package Description
texlive-logicpuzzle-2.4-9-omv2015.0.noarch.rpm Typeset (grid-based) logic puzzles
texlive-logpap-0.6-10-omv2015.0.noarch.rpm Generate logarithmic graph paper with LaTeX
texlive-logreq-1.0-10-omv2015.0.noarch.rpm Support for automation of the LaTeX workflow
texlive-lollipop-1.03-4-omv2015.0.noarch.rpm TeX made easy
texlive-longfigure-1.0-4-omv2015.0.noarch.rpm Provides a figure-like environment that break over pages
texlive-longnamefilelist-0.2-9-omv2015.0.noarch.rpm Tidy \listfiles with long file names
texlive-loops-1.3-10-omv2015.0.noarch.rpm General looping macros for use with LaTeX
texlive-lpic-0.8-10-omv2015.0.noarch.rpm Put LaTeX material over included graphics
texlive-lplfitch-0.9-9-omv2015.0.noarch.rpm Fitch-style natural deduction proofs
texlive-lps-0.7-10-omv2015.0.noarch.rpm Class for "Logic and Philosophy of Science"
texlive-lsc-20070309-10-omv2015.0.noarch.rpm Typesetting Live Sequence Charts
texlive-lshort-bulgarian-20071221-10-omv2015.0.noarch.rpm Bulgarian translation of the "Short Introduction to LaTeX2e"
texlive-lshort-chinese-4.20-10-omv2015.0.noarch.rpm Introduction to LaTeX, in Chinese
texlive-lshort-czech-4.27-11-omv2015.0.noarch.rpm Czech translation of the "Short Introduction to LaTeX2e"
texlive-lshort-dutch-1.3-10-omv2015.0.noarch.rpm Introduction to LaTeX in Dutch