Admissible Rules of Lukasiewicz Logic

13 years 2 months ago

Download www.math.cas.cz

We investigate admissible rules of Lukasiewicz multi-valued propositional logic. We show that admissibility of multiple-conclusion rules in Lukasiewicz logic, as well as validity of universal sentences in free MV -algebras, is decidable (in PSPACE).

Emil Jerábek

Real-time Traffic

Free Mv -algebras | LOGCOM 2010 | Lukasiewicz Logic | Multi-valued Propositional Logic |

claim paper

» Herbrands Theorem Skolemization and Proof Systems for FirstOrder Lukasiewicz Logic

» On the rules of intermediate logics

» Independent Bases of Admissible Rules

» Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics

» Complexity of admissible rules

» On the infinitevalued Lukasiewicz logic that preserves degrees of truth

» A Tableau Method for Checking Rule Admissibility in S4

» Admissible rules in the implicationnegation fragment of intuitionistic logic

Post Info
More Details (n/a)

Added	29 Jan 2011
Updated	29 Jan 2011
Type	Journal
Year	2010
Where	LOGCOM
Authors	Emil Jerábek

Comments (0)

Sciweavers

Admissible Rules of Lukasiewicz Logic

Free Mv -algebras | LOGCOM 2010 | Lukasiewicz Logic | Multi-valued Propositional Logic |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers