Pages that link to "Item:Q3264226"
From MaRDI portal
The following pages link to A propositional calculus with denumerable matrix (Q3264226):
Displaying 50 items.
- Intuitionistic logic and implicit definability (Q1591374) (← links)
- The logic of the strongest and the weakest t-norms (Q1677041) (← links)
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
- Density revisited (Q1699744) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Slices and levels of extensions of the minimal logic (Q1745087) (← links)
- Gödel logics with monotone operators (Q1759702) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Kripke semantics for fuzzy logics (Q1797765) (← links)
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180) (← links)
- Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom (Q1906670) (← links)
- On transitivity of strict preference relations (Q1914428) (← links)
- Axiomatization of crisp Gödel modal logic (Q2021571) (← links)
- Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness (Q2026740) (← links)
- Constructing illoyal algebra-valued models of set theory (Q2046361) (← links)
- On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem (Q2062200) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- From semantic games to provability: the case of Gödel logic (Q2118973) (← links)
- A non-hyperarithmetical Gödel logic (Q2151390) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- A note on strong axiomatization of Gödel justification logic (Q2193971) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- A characteristic frame for positive intuitionistic and relevance logic (Q2243544) (← links)
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart (Q2254554) (← links)
- Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics (Q2264662) (← links)
- Pretabular superintuitionistic logic (Q2265416) (← links)
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (Q2269796) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- Connecting fuzzy logic and argumentation frames via logical attack principles (Q2317516) (← links)
- Terminating calculi for propositional Dummett logic with subformula property (Q2352485) (← links)
- A temporal semantics for nilpotent minimum logic (Q2353684) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
- Layers over minimal logic (Q2364334) (← links)
- Prelinear algebras in relatively regular quasivarieties (Q2376911) (← links)
- First-order nilpotent minimum logics: first steps (Q2377356) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Monotone operators on Gödel logic (Q2449851) (← links)
- Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics (Q2500767) (← links)
- On interplay of quantifiers in Gödel-Dummett fuzzy logics (Q2501163) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
