Pages that link to "Item:Q3264226"
From MaRDI portal
The following pages link to A propositional calculus with denumerable matrix (Q3264226):
Displaying 50 items.
- Optimization in temporal qualitative constraint networks (Q262133) (← links)
- Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices (Q279337) (← links)
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- Irreflexive modality as a new logical connective in the Dummett logic (Q467677) (← links)
- The structure of slices over minimal logic (Q511341) (← links)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- The tabularity problem over the minimal logic (Q515492) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- A family of Gödel hybrid logics (Q631082) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- The cardinality of parametric bases in chain logics (Q685632) (← links)
- A new method for choosing the computational cell in stochastic reaction-diffusion systems (Q694697) (← links)
- New constants in two pretabular superintuitionistic logics (Q695769) (← links)
- Irreflexive modality, the Dummett logic, and continual chains (Q721381) (← links)
- Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency (Q735410) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Basic properties of the equivalence (Q786810) (← links)
- Two notions of compactness in Gödel logics (Q817682) (← links)
- A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
- Neutrosophic logics: Prospects and problems (Q835186) (← links)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
- Graph-based decision for Gödel-Dummett logics (Q877886) (← links)
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Filters of residuated lattices and triangle algebras (Q991237) (← links)
- Canonicity in subvarieties of BL-algebras (Q993324) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- The pseudo-linear semantics of interval-valued fuzzy logics (Q1007878) (← links)
- Continuous Fraïssé conjecture (Q1013988) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
- A temporal semantics for basic logic (Q1037596) (← links)
- Supersound many-valued logics and Dedekind-MacNeille completions (Q1042436) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Semantic trees for Dummett's logic LC (Q1092036) (← links)
- A propositional logic with explicit fixed points (Q1156789) (← links)
- Completeness theorem for Dummett's LC quantified and some of its extensions (Q1207344) (← links)
- Constructing denumerable matrices strongly adequate for pre-finite logics (Q1219875) (← links)
- Structural completeness of Gödel's and Dummett's propositional calculi (Q1233020) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras (Q1260029) (← links)
- A survey on different triangular norm-based fuzzy logics (Q1299619) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- Hypersequents, logical consequence and intermediate logics for concurrency (Q1354077) (← links)
- The ``relevance'' of intersection and union types (Q1381437) (← links)
- A natural negation completion of Urquhart's many-valued logic \(C\) (Q1386684) (← links)
- What is a (non-constructive) non-monotone logical system? (Q1575268) (← links)
