Admissible Rules of Lukasiewicz Logic

DOI10.1093/logcom/exp078zbMath1216.03042OpenAlexW2159310931MaRDI QIDQ3553916

Emil Jeřábek

Publication date: 21 April 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exp078

zbMATH Keywords

decidabilityŁukasiewicz logicadmissible rulefree MV-algebra

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) MV-algebras (06D35) Many-valued logic (03B50)

Related Items (22)

On rules ⋮ Multiagent temporal logics with multivaluations ⋮ Almost structural completeness; an algebraic approach ⋮ Admissibility and Unifiability in Contact Logics ⋮ Admissibility in De Morgan algebras ⋮ Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) ⋮ On unification and admissible rules in Gabbay-de Jongh logics ⋮ Least \(V\)-quasivarieties of MV-algebras ⋮ Admissible rules in the implication-negation fragment of intuitionistic logic ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Best unifiers in transitive modal logics ⋮ Checking Admissibility Using Natural Dualities ⋮ Unification in linear temporal logic LTL ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Finitary extensions of the nilpotent minimum logic and (almost) structural completeness ⋮ Proof Complexity of Non-classical Logics ⋮ Sugihara algebras: admissibility algebras via the test spaces method ⋮ Structural completeness in many-valued logics with rational constants ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility ⋮ On the complexity of validity degrees in Łukasiewicz logic ⋮ Admissibility via natural dualities

This page was built for publication: Admissible Rules of Lukasiewicz Logic