scientific article
From MaRDI portal
Publication:3268305
zbMath0092.24802MaRDI QIDQ3268305
Publication date: 1958
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (max. 100)
Representable idempotent commutative residuated lattices ⋮ Algebraic aspects of deduction theorems ⋮ Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations ⋮ On the scope of Lindenbaum's theorem on complete supersystems ⋮ Algebraic study of Sette's maximal paraconsistent logic ⋮ Remarks on a theorem of McGee ⋮ Remarks on a survey article on many valued logic by A. Urquhart ⋮ Axiomatization of the De Morgan type rules ⋮ Pure Variable Inclusion Logics ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Selfextensional logics with a conjunction ⋮ Coproduct and amalgamation of deductive systems by means of ordered algebras ⋮ Abstract valuation semantics ⋮ CLASSICALLY ARCHETYPAL RULES ⋮ What is relevance logic? ⋮ New dimensions on translations between logics ⋮ Human rationality challenges universal logic ⋮ Theories of propositional logics and the converse of substitution ⋮ What is a logical theory? On theories containing assertions and denials ⋮ The nature of entailment: an informational approach ⋮ Logical argumentation by dynamic proof systems ⋮ Reduced products of logical matrices ⋮ Replacement in logic ⋮ An example of strongly finite consequence operation with \(2^ (\aleph_ 0)\) standard strengthenings ⋮ The Beth property in algebraic logic ⋮ Singly generated quasivarieties and residuated structures ⋮ Many-valued computational logics ⋮ The degrees of maximality of the intuitionistic propositional logic and of some of its fragments ⋮ Filter pairs and natural extensions of logics ⋮ The lattice of strengthenings of a strongly finite consequence operation ⋮ Selfextensional logics with a distributive nearlattice term ⋮ On the degree of complexity of sentential logics. A couple of examples ⋮ Contextual deduction theorems ⋮ Possible worlds in use ⋮ Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus ⋮ Equivalential logics. II ⋮ 2-element matrices ⋮ An approach to Glivenko's theorem in algebraizable logics ⋮ On structural completeness of implicational logics ⋮ A resolution framework for finitely-valued first-order logics ⋮ $$\mathbf {RM}$$ RM and its Nice Properties ⋮ A perspective on modal sequent logic ⋮ Algebraic logic for classical conjunction and disjunction ⋮ Deductive argumentation by enhanced sequent calculi and dynamic derivations ⋮ Constructing natural extensions of propositional logics ⋮ Direct proofs of Lindenbaum conditionals ⋮ The lattice of distributive closure operators over an algebra ⋮ Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules ⋮ The deduction theorem for Lukasiewicz many-valued propositional calculi ⋮ On certain connections between consequence, inconsistency and completeness ⋮ The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness ⋮ A review of some problems of the logic of questions ⋮ Some remarks on the concept of completeness of the propositional calculus. I ⋮ Fragments of R-mingle ⋮ A note on direct products and ultraproducts of logical matrices ⋮ Combining classical logic, paraconsistency and relevance ⋮ Fuzzy semantics for multiple-conclusion sequential calculi with structural rules ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Matrix approach in methodology of sentential calculi ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ Proof of structural completeness of a certain class of implicative propositional calculi ⋮ Connections between some notions of completeness of structural propositional calculi ⋮ Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach ⋮ A strongly finite logic with infinite degree of maximality ⋮ On finitely based consequence operations ⋮ Characterizing finite-valuedness ⋮ On structural completeness of many-valued logics ⋮ On three-valued implicative systems ⋮ Equivalents for a quasivariety to be generated by a single structure ⋮ Deduction theorems for RM and its extensions ⋮ Two Genuine 3-Valued Paraconsistent Logics ⋮ The existence of matrices strongly adequate for E, R and their fragments ⋮ Taking degrees of truth seriously ⋮ Axiomatization of semigroup consequences ⋮ Data types over multiple-valued logics ⋮ Epimorphisms, definability and cardinalities ⋮ Algebraic Valuations as Behavioral Logical Matrices ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Some theorems on abstract logics ⋮ Multi-valued semantics: why and how ⋮ What is a non-truth-functional logic? ⋮ The problem of reconstructability of propositional calculi ⋮ Strong Three-Valued Paraconsistent Logics ⋮ Identity connective and modality ⋮ Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ On structural completeness of Lukasiewicz's logics ⋮ Logical matrices and non-structural consequence operators ⋮ Definitional equivalence and algebraizability of generalized logical systems ⋮ There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM ⋮ On finite approximability of psi-intermediate logics ⋮ Homotopical Categories of Logics ⋮ That SCI has the interpolation property ⋮ Logical matrices and the amalgamation property ⋮ Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic ⋮ On the degree of complexity of sentential logics. II: An example of the logic with semi-negation ⋮ Connexive Variants of Modal Logics Over FDE ⋮ Filter distributive logics ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics ⋮ A postulate-driven study of logical argumentation
This page was built for publication:
