A propositional calculus with denumerable matrix
From MaRDI portal
Publication:3264226
DOI10.2307/2964753zbMath0089.24307OpenAlexW2096482476MaRDI QIDQ3264226
Publication date: 1959
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964753
Related Items (only showing first 100 items - show all)
A relative interpolation theorem for infinitary universal Horn logic and its applications ⋮ Decidability of order-based modal logics ⋮ A new hierarchy of infinitary logics in abstract algebraic logic ⋮ Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices ⋮ Layers over minimal logic ⋮ Neutrosophic logics: Prospects and problems ⋮ On superintuitionistic logics as fragments of proof logic extensions ⋮ Free and projective bimodal symmetric Gödel algebras ⋮ Semantic trees for Dummett's logic LC ⋮ Prelinear algebras in relatively regular quasivarieties ⋮ First-order nilpotent minimum logics: first steps ⋮ Hypersequents, logical consequence and intermediate logics for concurrency ⋮ Automated theorem proving by resolution in non-classical logics ⋮ A non-hyperarithmetical Gödel logic ⋮ Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom ⋮ On transitivity of strict preference relations ⋮ From truth degree comparison games to sequents-of-relations calculi for Gödel logic ⋮ The proof by cases property and its variants in structural consequence relations ⋮ Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ Graph-based decision for Gödel-Dummett logics ⋮ The ``relevance of intersection and union types ⋮ The logic of the strongest and the weakest t-norms ⋮ Epimorphisms in varieties of residuated structures ⋮ A natural negation completion of Urquhart's many-valued logic \(C\) ⋮ A note on strong axiomatization of Gödel justification logic ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ A family of Gödel hybrid logics ⋮ Density revisited ⋮ A propositional logic with explicit fixed points ⋮ \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ Syntax and semantics of superintuitionistic logics ⋮ Irreflexive modality as a new logical connective in the Dummett logic ⋮ Monotone operators on Gödel logic ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Formal systems of fuzzy logic and their fragments ⋮ A semantic hierarchy for intuitionistic logic ⋮ Slices and levels of extensions of the minimal logic ⋮ Single chain completeness and some related properties ⋮ A characteristic frame for positive intuitionistic and relevance logic ⋮ The structure of slices over minimal logic ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ The tabularity problem over the minimal logic ⋮ The cardinality of parametric bases in chain logics ⋮ A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart ⋮ Gödel logics with monotone operators ⋮ A new method for choosing the computational cell in stochastic reaction-diffusion systems ⋮ Completeness theorem for Dummett's LC quantified and some of its extensions ⋮ New constants in two pretabular superintuitionistic logics ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics ⋮ Pretabular superintuitionistic logic ⋮ Decision methods for linearly ordered Heyting algebras ⋮ Fragments of R-mingle ⋮ Constructing denumerable matrices strongly adequate for pre-finite logics ⋮ Intermediate logics and Visser's rules ⋮ 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 ⋮ Anti-intuitionism and paraconsistency ⋮ A proof-theoretical investigation of global intuitionistic (fuzzy) logic ⋮ Axiomatization of crisp Gödel modal logic ⋮ Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics ⋮ Structural completeness of Gödel's and Dummett's propositional calculi ⋮ On interplay of quantifiers in Gödel-Dummett fuzzy logics ⋮ On the rules of intermediate logics ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness ⋮ Equational axioms for classes of Heyting algebras ⋮ Irreflexive modality, the Dummett logic, and continual chains ⋮ Filters of residuated lattices and triangle algebras ⋮ Canonicity in subvarieties of BL-algebras ⋮ Kripke semantics for fuzzy logics ⋮ Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency ⋮ Dialogue games for many-valued logics -- an overview ⋮ The pseudo-linear semantics of interval-valued fuzzy logics ⋮ Constructing illoyal algebra-valued models of set theory ⋮ Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras ⋮ Continuous Fraïssé conjecture ⋮ Data types over multiple-valued logics ⋮ The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem ⋮ Connecting fuzzy logic and argumentation frames via logical attack principles ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ A temporal semantics for basic logic ⋮ What is a (non-constructive) non-monotone logical system? ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ Structural completeness in many-valued logics with rational constants ⋮ Basic properties of the equivalence ⋮ A survey on different triangular norm-based fuzzy logics ⋮ Definitional equivalence and algebraizability of generalized logical systems ⋮ Intuitionistic logic and implicit definability ⋮ Terminating calculi for propositional Dummett logic with subformula property ⋮ A temporal semantics for nilpotent minimum logic ⋮ Optimization in temporal qualitative constraint networks ⋮ Two notions of compactness in Gödel logics ⋮ From semantic games to provability: the case of Gödel logic
Cites Work
This page was built for publication: A propositional calculus with denumerable matrix
