The following pages link to (Q5805951):
Displaying 50 items.
- An interpretation of Łukasiewicz's 4-valued modal logic (Q263087) (← links)
- Time and determinism (Q266653) (← links)
- Arthur Prior and medieval logic (Q395575) (← links)
- The logic of obligation and the obligations of the logician (Q395583) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Aristotle's assertoric syllogistic and modern relevance logic (Q514108) (← links)
- Maximality and refutability (Q558425) (← links)
- Equivalence of syllogisms (Q558433) (← links)
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315) (← links)
- Reconciling Aristotle and Frege (Q701301) (← links)
- YinYang bipolar logic and bipolar fuzzy logic (Q704147) (← links)
- The method of axiomatic rejection for the intuitionistic propositional logic (Q750414) (← links)
- The origins of combinatorics on words (Q872058) (← links)
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
- The effect of semantic freedom in the logic of natural language (Q1106835) (← links)
- A deductive database on Aristotelian logic (Q1123023) (← links)
- On decision procedures for sentential logics (Q1181478) (← links)
- The generalized modus ponens considered as a fuzzy relation (Q1187436) (← links)
- A propositional calculus in which three mutually undefinable functors are used as primitive terms (Q1219262) (← links)
- Proof of L-decidability of Lewis system S5 (Q1219801) (← links)
- Syllogisms with fractional quantifiers (Q1332145) (← links)
- From inheritance relation to nonaxiomatic logic (Q1344255) (← links)
- Incompatible empirically equivalent theories: a structural explication. (Q1578764) (← links)
- Aristotle's prototype rule-based underlying logic (Q1653547) (← links)
- Equivalential structures for binary and ternary syllogistics (Q1711503) (← links)
- There is no \textit{consequentia mirabilis} in Greek mathematics (Q1740460) (← links)
- The theory of rejected propositions. II (Q1843431) (← links)
- Syntactic refutations against finite models in modal logic (Q1903134) (← links)
- A Łukasiewicz-style refutation system for the modal logic S4 (Q1908788) (← links)
- An axiomatisation of a pure calculus of names (Q1928489) (← links)
- A refutation theory (Q1931339) (← links)
- The power of the hexagon (Q1940905) (← links)
- From the logical square to Blanché's hexagon: formalization, applicability and the idea of the normative structure of thought (Q1940907) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- On refutation rules (Q1941727) (← links)
- An improved flux limiter using fuzzy modifiers for hyperbolic conservation laws (Q1998284) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- On constructing intellectual systems in ternary logic (Q2017769) (← links)
- Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers (Q2092450) (← links)
- Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic (Q2108581) (← links)
- A new algorithmic decision for categorical syllogisms via Carroll's diagrams (Q2156461) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- Paraconsistent orbits of logics (Q2239383) (← links)
- A diagrammatic calculus of syllogisms (Q2255199) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- DLEAC: a dialetheic logic with exclusive assumptions and conclusions (Q2288266) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- On the historical transformations of the square of opposition as semiotic object (Q2307713) (← links)
- Existential import, Aristotelian logic, and its generalizations (Q2307717) (← links)
- Partitioning a set of vectors with integer coordinates by means of logical hardware (Q2320240) (← links)
