Bases of admissible rules of Łukasiewicz logic

DOI10.1093/LOGCOM/EXP082zbMATH Open1216.03043OpenAlexW2102729667MaRDI QIDQ3069724FDOQ3069724

Authors Emil Jeřábek 

Publication date 19 January 2011

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

admissible rulebases of admissible rulesŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
• Admissible Rules of Lukasiewicz Logic
• The complexity of admissible rules of Łukasiewicz logic
• Bases of admissible rules for \(K\)-saturated logics
• Bases of admissible rules in modal logics S4.2 and S4.2Grz

Cited in

(23)

• Inference rules in Nelson's logics, admissibility and weak admissibility
• On rules
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• Admissible rules in the implication-negation fragment of intuitionistic logic
• The complexity of admissible rules of Łukasiewicz logic
• Proof complexity of non-classical logics
• Finite axiomatizability in Łukasiewicz logic
• Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
• A way to interpret Łukasiewicz logic and basic logic
• Least \(V\)-quasivarieties of MV-algebras
• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
• Admissibility via natural dualities
• Admissibility and refutation: some characterisations of intermediate logics
• Admissibility in De Morgan algebras
• Preservation of admissible rules when combining logics
• Admissible rules for six intuitionistic modal logics
• Universal proof theory: feasible admissibility in intuitionistic modal logics
• Admissible Rules of Lukasiewicz Logic
• Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
• Structural completeness in many-valued logics with rational constants
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
• Sugihara algebras: admissibility algebras via the test spaces method
• Title not available (Why is no real title available?)

This page was built for publication: Bases of admissible rules of Łukasiewicz logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3069724)