A propositional calculus with denumerable matrix

Cites work

Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(only showing first 100 items - show all)

Dialogue games for many-valued logics -- an overview
The pseudo-linear semantics of interval-valued fuzzy logics
Continuous Fraïssé conjecture
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
A temporal semantics for basic logic
Supersound many-valued logics and Dedekind-MacNeille completions
On superintuitionistic logics as fragments of proof logic extensions
Semantic trees for Dummett's logic LC
A propositional logic with explicit fixed points
Completeness theorem for Dummett's LC quantified and some of its extensions
Constructing denumerable matrices strongly adequate for pre-finite logics
Structural completeness of Gödel's and Dummett's propositional calculi
Equational axioms for classes of Heyting algebras
Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
A survey on different triangular norm-based fuzzy logics
Definitional equivalence and algebraizability of generalized logical systems
Hypersequents, logical consequence and intermediate logics for concurrency
The ``relevance of intersection and union types
A natural negation completion of Urquhart's many-valued logic \(C\)
What is a (non-constructive) non-monotone logical system?
Intuitionistic logic and implicit definability
The logic of the strongest and the weakest t-norms
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
Density revisited
A semantic hierarchy for intuitionistic logic
Slices and levels of extensions of the minimal logic
Gödel logics with monotone operators
Fragments of R-mingle
Anti-intuitionism and paraconsistency
A proof-theoretical investigation of global intuitionistic (fuzzy) logic
The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
Kripke semantics for fuzzy logics
The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s
Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom
On transitivity of strict preference relations
Axiomatization of crisp Gödel modal logic
Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness
Constructing illoyal algebra-valued models of set theory
On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem
Structural completeness in many-valued logics with rational constants
From semantic games to provability: the case of Gödel logic
A non-hyperarithmetical Gödel logic
From truth degree comparison games to sequents-of-relations calculi for Gödel logic
A note on strong axiomatization of Gödel justification logic
Epimorphism surjectivity in varieties of Heyting algebras
Profiniteness and representability of spectra of Heyting algebras
A characteristic frame for positive intuitionistic and relevance logic
A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics
Pretabular superintuitionistic logic
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
Triangular norm based predicate fuzzy logics
On expansions of WNM t-norm based logics with truth-constants
Connecting fuzzy logic and argumentation frames via logical attack principles
Terminating calculi for propositional Dummett logic with subformula property
A temporal semantics for nilpotent minimum logic
Decidability of order-based modal logics
A new hierarchy of infinitary logics in abstract algebraic logic
Layers over minimal logic
Prelinear algebras in relatively regular quasivarieties
First-order nilpotent minimum logics: first steps
Automated theorem proving by resolution in non-classical logics
Epimorphisms in varieties of residuated structures
Monotone operators on Gödel logic
Basic hoops: an algebraic study of continuous t-norms
Formal systems of fuzzy logic and their fragments
Decision methods for linearly ordered Heyting algebras
Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics
On interplay of quantifiers in Gödel-Dummett fuzzy logics
On the rules of intermediate logics
Mathematical fuzzy logic as a tool for the treatment of vague information
Optimization in temporal qualitative constraint networks
Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics
From intuitionism to many-valued logics through Kripke models
One-variable fragments of intermediate logics over linear frames
Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices
Fuzzy Time in Linear Temporal Logic
Free and projective bimodal symmetric Gödel algebras
A multiple-conclusion calculus for first-order Gödel logic
A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
A note on some intermediate propositional calculi
LC and its pretabular relatives
Priest on negation
Generic substitutions
On theories and models in fuzzy predicate logics
A HEDGE FOR GÖDEL FUZZY LOGIC
Representable idempotent commutative residuated lattices
European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
On adopting Kripke semantics in set theory
European Summer Meeting of the Association for Symbolic Logic
The proof by cases property and its variants in structural consequence relations
Implicational logics in natural deduction systems
\(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
The standard completeness of interval-valued monoidal t-norm based logic
Prior's OIC nonconservativity example revisited
Irreflexive modality as a new logical connective in the Dummett logic
Free finitely generated linear Hilbert algebras with supremum

This page was built for publication: A propositional calculus with denumerable matrix

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3264226)