Pages that link to "Item:Q3553916"
From MaRDI portal
The following pages link to Admissible Rules of Lukasiewicz Logic (Q3553916):
Displayed 22 items.
- On rules (Q266650) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- Multiagent temporal logics with multivaluations (Q1617988) (← links)
- Least \(V\)-quasivarieties of MV-algebras (Q1697351) (← links)
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness (Q1790605) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- On the complexity of validity degrees in Łukasiewicz logic (Q2106603) (← links)
- Multi-agent logics with multi-valuations and intensional logical operations (Q2207025) (← 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)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- Checking Admissibility Using Natural Dualities (Q4617979) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)