The following pages link to Logica Universalis (Q263103):
Displaying 50 items.
- Toward a visual proof system: Lewis Carroll's method of trees (Q1942098) (← links)
- On rereading van Heijenoort's selected essays (Q1942099) (← links)
- In defense of logical universalism: taking issue with Jean van Heijenoort (Q1942101) (← links)
- Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics (Q1942102) (← links)
- Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament (Q1942104) (← links)
- A Buchholz rule for modal fixed point logics (Q1942334) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- Logic of determination of objects (LDO): how to articulate ``extension'' with ``intension'' and ``objects'' with ``concepts'' (Q1942336) (← links)
- Curry's formalism as structuralism (Q1942337) (← links)
- On a new idiom in the study of entailment (Q1942338) (← links)
- On the meaning of connectives (apropos of a non-necessitarianist challenge) (Q1942340) (← links)
- The method of scientific discovery in Peirce's philosophy: deduction, induction, and abduction (Q1942342) (← links)
- Negation and paraconsistent logics (Q1942343) (← links)
- Special issue on multimodal logics: a preface (Q1945701) (← links)
- Quantified multimodal logics in simple type theory (Q1945702) (← links)
- Multimodal incompleteness under weak negations (Q1945703) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Modal extensions of sub-classical logics for recovering classical logic (Q1945706) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- Relative contingency and bimodality (Q1945710) (← links)
- \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary (Q2011376) (← links)
- On the origin of Indian logic from the viewpoint of the Pāli Canon (Q2011377) (← links)
- Bimodal logic with contingency and accident: bisimulation and axiomatizations (Q2044999) (← links)
- A note on logicality of generalized quantifiers (Q2045000) (← links)
- What is identical? (Q2045002) (← links)
- A reinterpretation of the semilattice semantics with applications (Q2045003) (← links)
- Calculi for many-valued logics (Q2045004) (← links)
- On nonmonotonic consequence relations (Q2045006) (← links)
- The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable (Q2070424) (← links)
- Implicational tonoid logics: algebraic and relational semantics (Q2070425) (← links)
- Implicational partial Galois logics: relational semantics (Q2070426) (← links)
- \(k\)-provability in \(\mathrm{PA}\) (Q2070428) (← links)
- Axiomatization of some basic and modal Boolean connexive logics (Q2070430) (← links)
- An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper (Q2070432) (← links)
- Frege's ontological diagram completed (Q2084567) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
- A modern rigorous approach to stratification in NF/NFU (Q2084571) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
- Maximum segments as natural deduction images of some cuts (Q2084573) (← links)
- Kneale's natural deductions as a notational variant of Beth's tableaus (Q2169120) (← links)
- A formalism to specify unambiguous instructions inspired by Mīmāṁsā in computational settings (Q2169123) (← links)
- Completeness: from Husserl to Carnap (Q2169125) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- On induction principles for partial orders (Q2169127) (← links)
- A pragmatic dissolution of Curry's paradox (Q2169129) (← links)
- Modal definability: two commuting equivalence relations (Q2169131) (← links)
- Tableaux for logics of content relationship and set-assignment semantics (Q2169132) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
