scientific article; zbMATH DE number 3497860
From MaRDI portal
Publication:4079581
zbMath0318.02021MaRDI QIDQ4079581
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (77)
A universal Krull-Lindenbaum theorem ⋮ A family of strict/tolerant logics ⋮ The expressive truth conditions of two-valued logic ⋮ The effects of effects on constructivism ⋮ Consequence relations and admissible rules ⋮ Configuration structures, event structures and Petri nets ⋮ Inducing inference relations from inconsistency measures ⋮ On completeness theorems for feature logics ⋮ Remarks on a survey article on many valued logic by A. Urquhart ⋮ Singulary extensional connectives: A closer look ⋮ Generalized Entailments ⋮ An unexpected Boolean connective ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Classes of valuations closed under operations Galois-dual to Boolean sentence connectives ⋮ Acceptance, inference, and the multiple-conclusion sequent ⋮ Graphs of plural cuts ⋮ What is relevance logic? ⋮ A universal algorithm for Krull's theorem ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ A refutation theory ⋮ Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces ⋮ What is a logical theory? On theories containing assertions and denials ⋮ Eliminating disjunctions by disjunction elimination ⋮ Graded consequence: an institution theoretic study ⋮ Two traditions in abstract valuational model theory ⋮ From many-valued consequence to many-valued connectives ⋮ Axiomatizing non-deterministic many-valued generalized consequence relations ⋮ Information links in domain theory ⋮ Reflecting rules: a note on generalizing the deduction theorem ⋮ Aristotelian diagrams for semantic and syntactic consequence ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ The presence of lattice theory in discrete problems of mathematical social sciences. Why. ⋮ Difference measurement spaces ⋮ Disjunctive Multiple-Conclusion Consequence Relations ⋮ Lukasiewicz logic and the foundations of measurement ⋮ False though partly true -- an experiment in logic ⋮ The logic of approximation in quantum theory ⋮ A representation of stably compact spaces, and patch topology. ⋮ A system for proper multiple-conclusion entailment ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Erotetic arguments: A preliminary analysis ⋮ Lindenbaum’s Lemma via Open Induction ⋮ Point-Free Spectra of Linear Spreads ⋮ FDE: A Logic of Clutters ⋮ An intriguing logic with two implicational connectives ⋮ Remarks on the Scott-Lindenbaum theorem ⋮ Idempotent full paraconsistent negations are not algebraizable ⋮ The multiple facets of the canonical direct unit implicational basis ⋮ Unnamed Item ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ Disjunctive and conjunctive multiple-conclusion consequence relations ⋮ Valuations: bi, tri, and tetra ⋮ On Kreisel's notion of validity in Post systems ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY ⋮ Taking degrees of truth seriously ⋮ Cut elimination for entailment relations ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Default logic generalized and simplified ⋮ Presuppositional completeness ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Ordering groups constructively ⋮ Stipulation and Symmetrical Consequence ⋮ Lattice-ordered groups generated by an ordered group and regular systems of ideals ⋮ The revival of rejective negation ⋮ A syntactical proof of the Marriage Lemma. ⋮ Towards formal Baer criteria ⋮ Some theorems on structural entailment relations ⋮ The Algebra of Opposition (and Universal Logic Interpretations) ⋮ That SCI has the interpolation property ⋮ Paraconsistent inference relations induced from inconsistency measures ⋮ Generalised graded interpolation ⋮ Set-theoretical and other elementary models of the \(\lambda\)-calculus ⋮ On Axioms and Rexpansions ⋮ Simple consequence relations ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem ⋮ Erotetic implications ⋮ Comments on the Contributions
This page was built for publication:
