- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Tübingen, Universität Tübingen, Dissertation, 2019
- Schlagwort
-
Explanation
Metaphysics
Inference
Truth
Evidence
Logik ; Formale Semantik ; Intuitionistische Logik ; Beweistheorie ; Schlussfolgern ; Logischer Schluss ; Vollständigkeit ; Kalkül des natürlichen Schließens
- Ereignis
-
Veröffentlichung
- (wo)
-
Tübingen
- (wer)
-
Universitätsbibliothek Tübingen
- (wann)
-
2019
- Urheber
- Beteiligte Personen und Organisationen
-
Schroeder-Heister, Peter
- URN
-
urn:nbn:de:bsz:21-dspace-862466
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:00 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Oliveira, Hermógenes
- Schroeder-Heister, Peter
- Universitätsbibliothek Tübingen
Entstanden
- 2019
Ähnliche Objekte (12)
Logical foundations for rule based systems
From Epistemic Norms to Logical Rules: Epistemic Models for Logical Expressivists
Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic
Laws in logical worlds : using statistial inference to uncover the structure of logical domains
Logical transformation rules for complex weighted queries
A logical theory of nonmonotonic inference and belief change
On Logical Inference over Brains, Behaviour, and Artificial Neural Networks
Differential Calculus, Inference Rules, Product and Quotient Rule
Rule-Following, Meaning Constitution, and Enaction
The physical meaning of the fine structure constants
A logical reconstruction of fuzzy inference in databases and logic programs
The mechanics of meaning : propositional content and the logical space of Wittgenstein's Tractatus
Logical foundations for rule based systems
From Epistemic Norms to Logical Rules: Epistemic Models for Logical Expressivists
Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic
Laws in logical worlds : using statistial inference to uncover the structure of logical domains
Logical transformation rules for complex weighted queries
A logical theory of nonmonotonic inference and belief change
On Logical Inference over Brains, Behaviour, and Artificial Neural Networks
Differential Calculus, Inference Rules, Product and Quotient Rule
Rule-Following, Meaning Constitution, and Enaction
The physical meaning of the fine structure constants
A logical reconstruction of fuzzy inference in databases and logic programs
The mechanics of meaning : propositional content and the logical space of Wittgenstein's Tractatus
Logical foundations for rule based systems
From Epistemic Norms to Logical Rules: Epistemic Models for Logical Expressivists
Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic
Laws in logical worlds : using statistial inference to uncover the structure of logical domains
Logical transformation rules for complex weighted queries
A logical theory of nonmonotonic inference and belief change
On Logical Inference over Brains, Behaviour, and Artificial Neural Networks
Differential Calculus, Inference Rules, Product and Quotient Rule
Rule-Following, Meaning Constitution, and Enaction
The physical meaning of the fine structure constants
A logical reconstruction of fuzzy inference in databases and logic programs