Human rationality challenges universal logic
From MaRDI portal
Publication:1931349
DOI10.1007/s11787-010-0019-9zbMath1255.03017MaRDI QIDQ1931349
Publication date: 25 January 2013
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-010-0019-9
Related Items
Uses Software
Cites Work
- Computational interpretations of linear logic
- A note on algebras of nilpotent matrices
- Abductive reasoning. Logical investigations into discovery and explanation
- Structuralist logic: implications, inferences, and consequences
- A universal logic approach to adaptive logics
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system
- Resource-origins of nonmonotonicity
- A logic of situated resource-bounded agents
- Exploring the future with resource-bounded agents
- Knowledge forgetting: properties and applications
- An architectonic for science. The structuralist program
- A note on indecomposable lattices
- A logic for default reasoning
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- On functional relations. II
- Five faces of minimality
- Philosophy and geometry. Theoretical and historical issues
- Local logics, non-monotonicity and defeasible argumentation
- Intuitive semantics for first-degree entailments and `coupled trees'
- Partiality and its dual
- ``Four-valued semantics for the relevant logic R
- Handbook of social choice and welfare. Vol. 1.
- Twenty-five basic theorems in situation and world theory
- Optimizing terminological reasoning for expressive description logics
- The death of a mathematical theory. A study in the sociology of knowledge
- Terminological reasoning is inherently intractable
- Nonmonotonic Logics and Semantics
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
- BELIEF REVISION IN NON-CLASSICAL LOGICS
- CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS
- Defeasible inheritance systems and reactive diagrams
- Why Proof? What is a Proof?
- On the logic of theory change: Partial meet contraction and revision functions
- A framework for defining logics
- On the Complexity of Causal Models
- Information Flow
- Euclid—The Creation of Mathematics
- Tarski's System of Geometry
- Relativizations of the Principle of Identity
- Quantum Complexity Theory
- Frege on Consistency and Conceptual Analysis
- Linear and nonlinear models of the human controller
- Every good regulator of a system must be a model of that system †
- Mechanizing Mathematical Reasoning
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item