Pages that link to "Item:Q3069724"
From MaRDI portal
The following pages link to Bases of Admissible Rules of Lukasiewicz Logic (Q3069724):
Displayed 18 items.
- On rules (Q266650) (← links)
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- Least \(V\)-quasivarieties of MV-algebras (Q1697351) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Sugihara algebras: admissibility algebras via the test spaces method (Q2301885) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- Admissibility in De Morgan algebras (Q2391905) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)