Bases of admissible rules of Łukasiewicz logic
From MaRDI portal
Publication:3069724
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
Recommendations
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 that?)
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)
