Bases of Admissible Rules of Lukasiewicz Logic
From MaRDI portal
Publication:3069724
DOI10.1093/logcom/exp082zbMath1216.03043OpenAlexW2102729667MaRDI QIDQ3069724
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
Related Items
On rules ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Admissibility in De Morgan algebras ⋮ Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) ⋮ Admissible rules for six intuitionistic modal logics ⋮ Least \(V\)-quasivarieties of MV-algebras ⋮ Admissible rules in the implication-negation fragment of intuitionistic logic ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ 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 ⋮ Admissibility via natural dualities
This page was built for publication: Bases of Admissible Rules of Lukasiewicz Logic
