- Language
-
Englisch
- Identifier
-
1280595868
Subject
Mathematische Logik; Logische Programmierung; Logik; Philosophie der Logik; Nichtmonotone Logik; Analytische Philosophie; Nichtklassische Logik
Contributor
Molick Silva, Sanderson
Strasser, Christian
Almeida, Joao Marcos de
Fakultät für Philosophie und Erziehungswissenschaft
Strasser, Christian
Almeida, Joao Marcos de
Fakultät für Philosophie und Erziehungswissenschaft
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
02.05.2023, 9:12 AM CEST
Object type
- Monografie
Associated
- Molick Silva, Sanderson
- Strasser, Christian
- Almeida, Joao Marcos de
- Fakultät für Philosophie und Erziehungswissenschaft
Other Objects (12)
Topics in the proof theory of non-classical logics : philosophy and applications
Logik, Semantik, Hermeneutik
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
Rethinking inconsistent mathematics
Investigations into the logical foundations of defeasible reasoning : an argumentative perspective
New perspectives on some non-classical logical systems
Modeling defeasible reasoning from an argumentative angle
An introduction to traditional logic
Belief Revision in Expressive Knowledge Representation Formalisms
Projection in a probabilistic epistemic logic and its application to belief-based program verification
Einführung in die formale Logik : e. Orientierung über d. Lehre von d. Folgerichtigkeit, ihre Geschichte, Strukturen u. Anwendungen
Begründungsrationalität und Logik
Topics in the proof theory of non-classical logics : philosophy and applications
Logik, Semantik, Hermeneutik
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
Rethinking inconsistent mathematics
Investigations into the logical foundations of defeasible reasoning : an argumentative perspective
New perspectives on some non-classical logical systems
Modeling defeasible reasoning from an argumentative angle
An introduction to traditional logic
Belief Revision in Expressive Knowledge Representation Formalisms
Projection in a probabilistic epistemic logic and its application to belief-based program verification
Einführung in die formale Logik : e. Orientierung über d. Lehre von d. Folgerichtigkeit, ihre Geschichte, Strukturen u. Anwendungen
Begründungsrationalität und Logik
Topics in the proof theory of non-classical logics : philosophy and applications
Logik, Semantik, Hermeneutik
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
Rethinking inconsistent mathematics
Investigations into the logical foundations of defeasible reasoning : an argumentative perspective
New perspectives on some non-classical logical systems
Modeling defeasible reasoning from an argumentative angle
An introduction to traditional logic
Belief Revision in Expressive Knowledge Representation Formalisms
Projection in a probabilistic epistemic logic and its application to belief-based program verification
Einführung in die formale Logik : e. Orientierung über d. Lehre von d. Folgerichtigkeit, ihre Geschichte, Strukturen u. Anwendungen