Pages that link to "Item:Q3707997"
From MaRDI portal
The following pages link to Logics without the contraction rule (Q3707997):
Displaying 50 items.
- On good EQ-algebras (Q409738) (← links)
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Contraction-elimination for implicational logics (Q676308) (← links)
- A note on Kripke semantics for residuated logic (Q678998) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- Functional completeness of bounded structures of fuzzy logic with wvt-operators (Q835282) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- Representable good EQ-algebras (Q989677) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Semantical analysis of predicate logics without the contraction rule (Q1077403) (← links)
- Predicate logics without the structure rules (Q1089330) (← links)
- Sequent-systems and groupoid models. I (Q1119625) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- A consistent theory of attributes in a logic without contraction (Q1208119) (← links)
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- Sequent-systems and groupoid models. II (Q1263573) (← links)
- Gabriel topologies on coherent quantales (Q1295504) (← links)
- Modal logic as metalogic (Q1314285) (← links)
- The finite model property for BCK and BCIW (Q1317904) (← links)
- Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic (Q1337604) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- On the quasivariety of BCK-algebras and its subvarieties (Q1344842) (← links)
- Representable biresiduated lattices (Q1348684) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- Tableau method for residuated logic (Q1357163) (← links)
- A natural negation completion of Urquhart's many-valued logic \(C\) (Q1386684) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Logic without contraction as based on inclusion and unrestricted abstraction (Q1577364) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- Density revisited (Q1699744) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Some properties of pseudo-BCK- and pseudo-BCI-algebras (Q1794954) (← links)
- Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
- A new semantics for intuitionistic predicate logic (Q1820768) (← links)
- Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom (Q1906670) (← links)
- Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
- Residuated structures and orthomodular lattices (Q2062191) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Splittings in subreducts of hoops (Q2082253) (← links)
