- Sprache
-
Englisch
- Identifier
-
1280595868
Thema
Mathematische Logik; Logische Programmierung; Logik; Philosophie der Logik; Nichtmonotone Logik; Analytische Philosophie; Nichtklassische Logik
Beteiligte Personen und Organisationen
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
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
02.05.2023, 09:12 MESZ
Objekttyp
- Monografie
Beteiligte
- Molick Silva, Sanderson
- Strasser, Christian
- Almeida, Joao Marcos de
- Fakultät für Philosophie und Erziehungswissenschaft
Ähnliche Objekte (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