scientific article; zbMATH DE number 3066797
From MaRDI portal
Publication:5805951
zbMath0043.24601MaRDI QIDQ5805951
Publication date: 1951
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
The correctness and relevance of the modal ontological argument ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Time and determinism ⋮ 1998 European Summer Meeting of the Association for Symbolic Logic ⋮ Syllogisms with fractional quantifiers ⋮ GÖDEL’S NOTRE DAME COURSE ⋮ From inheritance relation to nonaxiomatic logic ⋮ Jan Łukasiewicz Life, Work, Legacy ⋮ Modalities Without Worlds ⋮ Logical aliens and where to find them ⋮ A liberated version of S5 ⋮ Syntactic refutations against finite models in modal logic ⋮ The effect of semantic freedom in the logic of natural language ⋮ A new algorithmic decision for categorical syllogisms via Carroll's diagrams ⋮ Aristotle's prototype rule-based underlying logic ⋮ A Łukasiewicz-style refutation system for the modal logic S4 ⋮ An algebraic analysis of categorical syllogisms by using Carroll’s diagrams ⋮ The origins of combinatorics on words ⋮ Foundations for the formalization of metamathematics and axiomatizations of consequence theories ⋮ A deductive database on Aristotelian logic ⋮ Search for syllogistic structure of semantic information ⋮ An axiomatisation of a pure calculus of names ⋮ A Diagrammatic Calculus of Syllogisms ⋮ Arthur Prior and medieval logic ⋮ The logic of obligation and the obligations of the logician ⋮ A refutation theory ⋮ Reasoning about Social Phenomena ⋮ A study of the metatheory of assertoric syllogistic ⋮ Logics and Their Galaxies ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes ⋮ On the interpretation of Aristotelian syllogistic ⋮ The power of the hexagon ⋮ From the logical square to Blanché's hexagon: formalization, applicability and the idea of the normative structure of thought ⋮ On pairs of dual consequence operations ⋮ On refutation rules ⋮ In Memoriam Jan Łukasiewicz ⋮ B-frame duality ⋮ Arthur Schopenhauer on Naturalness in Logic ⋮ Paranegations and the square of oppositions ⋮ A sequent calculus for skeptical Default Logic ⋮ Completeness of an ancient logic ⋮ Jan Łukasiewicz: A Creator of New Ideas in Logic and a Reinterpreter of Its History ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Equivalential structures for binary and ternary syllogistics ⋮ Paraconsistency in classical logic ⋮ A meta-logic of inference rules: Syntax ⋮ Mereology in Engineering and Computer Science ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ On decision procedures for sentential logics ⋮ Aristotle, Boole, and Categories ⋮ Syllogistic Logic with Cardinality Comparisons ⋮ The generalized modus ponens considered as a fuzzy relation ⋮ There is no \textit{consequentia mirabilis} in Greek mathematics ⋮ Paraconsistent orbits of logics ⋮ Sequent calculi for default and autoepistemic logics ⋮ Aristotle's assertoric syllogistic and modern relevance logic ⋮ An improved flux limiter using fuzzy modifiers for hyperbolic conservation laws ⋮ A diagrammatic calculus of syllogisms ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ Reconciling Aristotle and Frege ⋮ Is there a modal syllogistic? ⋮ A natural deduction system for first degree entailment ⋮ YinYang bipolar logic and bipolar fuzzy logic ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators ⋮ A propositional calculus in which three mutually undefinable functors are used as primitive terms ⋮ Proof of L-decidability of Lewis system S5 ⋮ Maximality and refutability ⋮ Equivalence of syllogisms ⋮ On constructing intellectual systems in ternary logic ⋮ A Generalisation of a Refutation-related Method in Paraconsistent Logics ⋮ DLEAC: a dialetheic logic with exclusive assumptions and conclusions ⋮ Aristotle, Logic, and QUARC ⋮ Dialectic, the Dictum de Omni and Ecthesis ⋮ Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach ⋮ Unnamed Item ⋮ On modal terms ⋮ The method of axiomatic rejection for the intuitionistic propositional logic ⋮ THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS ⋮ Deductive systems with multiple-conclusion rules and the disjunction property ⋮ On the historical transformations of the square of opposition as semiotic object ⋮ Existential import, Aristotelian logic, and its generalizations ⋮ Aristotele's syllogistic and its extensions ⋮ The Principle of Contradiction and Ecthesis in Aristotle's Syllogistic ⋮ Intuitionistic Socratic procedures ⋮ Remarks about syllogistic with negative terms ⋮ Partitioning a set of vectors with integer coordinates by means of logical hardware ⋮ Theory of rejected propositions. I ⋮ An extension of the traditional logic containing the elementary ontology and the algebra of classes ⋮ Incompatible empirically equivalent theories: a structural explication. ⋮ The theory of rejected propositions. II ⋮ Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers ⋮ Aristotle on Language and Universal Proof ⋮ Leibnizian Intensional Semantics for Syllogistic Reasoning ⋮ The Four Essential Aristotelian Syllogisms, via Substitution and Symmetry ⋮ Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic ⋮ A Critical Examination of the Historical Origins of Connexive Logic
This page was built for publication:
