The following pages link to Logica Universalis (Q263103):
Displaying 50 items.
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics (Q1689568) (← links)
- New dimensions on translations between logics (Q1931302) (← links)
- The geometry of standard deontic logic (Q1931304) (← links)
- Distributive-lattice semantics of sequent calculi with structural rules (Q1931305) (← links)
- What is a logic translation? (Q1931306) (← links)
- Symmetric generalized Galois logics (Q1931307) (← links)
- Russell and his sources for non-classical logics (Q1931336) (← links)
- Minimally generated abstract logics (Q1931337) (← links)
- Theory of completeness for logical spaces (Q1931338) (← links)
- A refutation theory (Q1931339) (← links)
- On the 3D visualisation of logical relations (Q1931340) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- Diagonalization in double frames (Q1931343) (← links)
- Many-place sequent calculi for finitely-valued logics (Q1931344) (← links)
- The concept of relevance and the logic diagram tradition (Q1931345) (← links)
- Two semantical approaches to paraconsistent modalities (Q1931347) (← links)
- Preface to the special issue: Is logic universal? (Q1931348) (← links)
- Human rationality challenges universal logic (Q1931349) (← links)
- Logic and natural selection (Q1931350) (← links)
- The place of logic in reasoning (Q1931351) (← links)
- Is logic necessary? (Q1931352) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← 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)
- Why the logical hexagon? (Q1940908) (← links)
- Approaching the alethic modal hexagon of opposition (Q1940909) (← links)
- A hexagonal framework of the field \({\mathbb{F}_4}\) and the associated Borromean logic (Q1940910) (← links)
- From Blanché's hexagonal organization of concepts to formal concept analysis and possibility theory (Q1940911) (← links)
- The classical Aristotelian hexagon versus the modern duality hexagon (Q1940912) (← links)
- Deontological square, hexagon, and decagon: a deontic framework for supererogation (Q1940914) (← links)
- How to take advantage of the blur between the finite and the infinite (Q1940915) (← links)
- Logic and colour (Q1940917) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- On combined connectives (Q1941724) (← links)
- Referential opacity and epistemic logic (Q1941726) (← links)
- On refutation rules (Q1941727) (← links)
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger (Q1941728) (← links)
- The logic with truth and falsehood operators from a point of view of universal logic (Q1941730) (← links)
- Constrained consequence (Q1941731) (← links)
- Guest editor's introduction: JvH100 (Q1942085) (← links)
- Scholarly publications of Jean van Heijenoort compiled by Irving H. Anellis (Q1942086) (← links)
- Jean van Heijenoort: kaleidoscope (Q1942088) (← links)
- Jean van Heijenoort and the Gödel editorial project (Q1942089) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Historical development of modern logic (Q1942092) (← links)
- Jean van Heijenoort's conception of modern logic, in historical perspective (Q1942093) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Which mathematical logic is the logic of mathematics? (Q1942095) (← links)
- Frege's ancestral and its circularities (Q1942096) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)