The following pages link to Logica Universalis (Q263103):
Displaying 50 items.
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Theological discourse and logic (Q2297954) (← links)
- The Talmudic logic project, ongoing since 2008 (Q2297956) (← links)
- Counterpossibles and normal defaults in the filioque controversy (Q2297957) (← links)
- Non-monotonic logic and the compatibility of science and religion (Q2297958) (← links)
- Thomas Manlevelt: God in logic (Q2297960) (← links)
- Mathematics and theology in the thought of Nicholas of Cusa (Q2297961) (← links)
- Iterated mixed strategies and Pascal's wager (Q2297963) (← links)
- Logic diagrams, sacred geometry and neural networks (Q2297964) (← links)
- Pavel Florensky's theory of religious antinomies (Q2297966) (← links)
- Gödel's second theorem and the provability of God's existence (Q2297968) (← links)
- Metalanguage and revelation: rethinking Theology's language and relevance (Q2297970) (← links)
- Knowability and other onto-theological paradoxes (Q2297972) (← links)
- The Cretan square (Q2307711) (← links)
- On the historical transformations of the square of opposition as semiotic object (Q2307713) (← links)
- Swyneshed, Aristotle and the rule of contradictory pairs (Q2307714) (← links)
- Kant's antinomies of pure reason and the `hexagon of predicate negation' (Q2307716) (← links)
- Existential import, Aristotelian logic, and its generalizations (Q2307717) (← links)
- A cube of opposition for predicate logic (Q2307718) (← links)
- Structures of opposition and comparisons: Boolean and gradual cases (Q2307719) (← links)
- Hintikka memorial issue: introduction and remarks on Jaakko Hintikka's logical philosophy (Q2334648) (← links)
- Super models (Q2334649) (← links)
- Perspectives on the logical study of language (Q2334650) (← links)
- On TAE machines and their computational power (Q2334651) (← links)
- Hintikka on the ``Kant-Frege view'': a critical assessment (Q2334653) (← links)
- Hintikka, free logician. Singular terms in world lines semantics (Q2334654) (← links)
- Hintikka and the functions of logic (Q2334655) (← links)
- Varieties of rigidity (Q2334657) (← links)
- To Peirce Hintikka's thoughts (Q2334658) (← links)
- Innovation and application of logic: an interview with Jaakko Hintikka (Q2334659) (← links)
- Labelled tableau systems for some subintuitionistic logics (Q2334660) (← links)
- Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions (Q2342799) (← links)
- Characteristic inference rules (Q2342800) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- On a distinction of two facets of meaning and its role in proof-theoretic semantics (Q2342803) (← links)
- Preface: Medieval logic (Q2354868) (← links)
- The meanings of `logic' in the thirteenth century (Q2354870) (← links)
- Nominalism and semantics in Abelard and Ockham (Q2354873) (← links)
- Ockham's calculus of strict implication (Q2354874) (← links)
- Boethius of Dacia (1270s) and Radulphus Brito (1290s) on the universal sign `every' (Q2354876) (← links)
- When the world is not enough: medieval ways to deal with the lack of referents (Q2354879) (← links)
- Paradox, closure and indirect speech reports (Q2354880) (← links)
- Universal logic and Aristotelian logic: formality and essence of logic (Q2354882) (← links)
- Erratum to: ``Universal logic and Aristotelian logic: formality and essence of logic'' (Q2354883) (← links)
- A shared framework for consequence operations and abstract model theory (Q2392009) (← links)
- From single agent to multi-agent via hypersequents (Q2392010) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- A universal approach to guarantee data privacy (Q2392012) (← links)
