scientific article
From MaRDI portal
Publication:4065517
zbMath0308.02026MaRDI QIDQ4065517
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (32)
On the minimal non-Fregean Grzegorczyk logic ⋮ Reasoning about proof and knowledge ⋮ Central internal algebras and varieties ⋮ Q-ultrafilters and normal ultrafilters in B-algebras ⋮ The broadest necessity ⋮ A propositional logic with relative identity connective and a partial solution to the paradox of analysis ⋮ Sequent calculi for \(\mathsf{SCI}\) ⋮ Selfextensional logics with a conjunction ⋮ Fregean logics ⋮ Compositional meaning in logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ On the Axiom of Canonicity ⋮ Abstract algebraic logic. An introductory chapter ⋮ Some remarks on semantics and expressiveness of the sentential calculus with identity ⋮ \(\in_K\): a non-Fregean logic of explicit knowledge ⋮ An Investigation into Intuitionistic Logic with Identity ⋮ Logic, formal methodology and semantics in works of Ryszard Wójcicki ⋮ B-varieties with normal free algebras ⋮ Beyond Rasiowan systems: unital deductive systems ⋮ Proof of a conjecture of Roman Suszko ⋮ The Fregean axiom and Polish mathematical logic in the \(1920^s\) ⋮ A ``Distributive or a ``Collective Approach to Sentences? ⋮ The slingshot argument and sentential identity ⋮ Tableau-based decision procedure for non-Fregean logic of sentential identity ⋮ Interior algebras and varieties ⋮ Number of non-Fregean sentential logics that have adequate models ⋮ Content Implication and the Yablo’s Sequent of Sentences ⋮ Natural deduction systems for intuitionistic logic with identity ⋮ On the structure of varieties with equationally definable principal congruences. IV ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity ⋮ The theory of Boolean algebras with an additional binary operation ⋮ Number of extensions of non-Fregean logics
This page was built for publication:
