Admissible Rules of Lukasiewicz Logic
From MaRDI portal
Recommendations
- On rules
- Bases of admissible rules of Łukasiewicz logic
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Special issue on admissible rules and unification
- Admissible tools in the kitchen of intuitionistic logic
- Complexity of admissible rules
- What is an inference rule?
- CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS
- Describing a basis in semireduced form for inference rules of intuitionistic logic
- Rules of inference with parameters for intuitionistic logic
Cited in
(29)- Multiagent temporal logics with multivaluations
- Admissibility in positive logics
- Least \(V\)-quasivarieties of MV-algebras
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
- Structural completeness in many-valued logics with rational constants
- On the complexity of validity degrees in Łukasiewicz logic
- Multi-agent logics with multi-valuations and intensional logical operations
- Sugihara algebras: admissibility algebras via the test spaces method
- Inference rules in Nelson's logics, admissibility and weak admissibility
- Admissibility via natural dualities
- Admissibility in De Morgan algebras
- On rules
- Almost structural completeness; an algebraic approach
- Bases of admissible rules of Łukasiewicz logic
- Admissibility and Unifiability in Contact Logics
- Canonical rules
- 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
- Checking admissibility using natural dualities
- The complexity of admissible rules of Łukasiewicz logic
- Intermediate logics and Visser's rules
- Proof complexity of non-classical logics
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Best unifiers in transitive modal logics
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- The polyhedral geometry of Wajsberg hoops
- Unification in linear temporal logic LTL
- Finite axiomatizability in Łukasiewicz logic
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
This page was built for publication: Admissible Rules of Lukasiewicz Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3553916)
