The following pages link to Logica Universalis (Q263103):
Displaying 50 items.
- The future of logic: foundation-independence (Q263104) (← links)
- N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic (Q263105) (← links)
- A unified semantics for a family of modal logics with propositional constants (Q263107) (← links)
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Inconsistency-adaptive dialogical logic (Q263112) (← links)
- The Vatican square (Q346752) (← links)
- Platonic contrariety (\textit{enantia}): ancestor of the Aristotelian notion of contradiction (\textit{antiphasis})? (Q346754) (← links)
- Disentangling contradiction from contrariety via incompatibility (Q346755) (← links)
- Leibniz's logic and the ``cube of opposition'' (Q346757) (← links)
- Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition (Q346759) (← links)
- Singular propositions, negation and the square of opposition (Q346761) (← links)
- Metalogical decorations of logical diagrams (Q346763) (← links)
- Logical squares for classical logic sentences (Q346765) (← links)
- Generalization and composition of modal squares of oppositions (Q346766) (← links)
- A square of oppositions in intuitionistic logic with strong negation (Q346768) (← links)
- Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic (Q346769) (← links)
- Violence hexagon. Moral philosophy through drawing (Q346770) (← links)
- Cubes and hypercubes of opposition, with ethical ruminations on inviolability (Q346772) (← links)
- The Klein group, squares of opposition and the explanation of fallacies in reasoning (Q346775) (← links)
- Special issue: Selected papers based on the presentations at the workshop on categorial logic and the conference Unilog 2010, Lisbon, Portugal, June, 2010 (Q366181) (← links)
- Deduction as reduction, from a categorical point of view (Q382412) (← links)
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra (Q382416) (← links)
- What do Freyd's toposes classify? (Q382418) (← links)
- Dagger categories of tame relations (Q382419) (← links)
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- First-order logic and first-order functions (Q497872) (← links)
- Sound reasoning (literally): prospects and challenges of current acoustic logics (Q497874) (← links)
- Probabilistic argumentation: an equational approach (Q497876) (← links)
- Weakening and extending \(\mathbb{Z}\) (Q497880) (← links)
- Logic and religion (Q523289) (← links)
- Thinking negation in early Hinduism and classical Indian philosophy (Q523291) (← links)
- Karma theory, determinism, fatalism and freedom of will (Q523292) (← links)
- From logic in Islam to Islamic logic (Q523294) (← links)
- Leibniz's ontological proof of the existence of God and the problem of ``impossible objects`` (Q523295) (← links)
- A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion}) (Q523297) (← links)
- Monotonic and non-monotonic embeddings of Anselm's proof (Q523299) (← links)
- Computer-assisted analysis of the Anderson-Hájek ontological controversy (Q523303) (← links)
- A non-standard analysis of a cultural icon: the case of Paul Halmos (Q528518) (← links)
- A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms (Q528519) (← links)
- Widersinn in Husserl's pure logic (Q528521) (← links)
- Theory of semi-instantiation in abstract argumentation (Q528522) (← links)
- Canonical syllogistic moods in traditional Aristotelian logic (Q528524) (← links)
- The grammar of Platonism (Q528525) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Correspondence analysis for some fragments of classical propositional logic (Q828774) (← links)
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) (Q828777) (← links)
- A global glance on categories in logic (Q874746) (← links)
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics (Q874747) (← links)
- From fibring to cryptofibring. A solution to the collapsing problem (Q874748) (← links)
