- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Tübingen, Universität Tübingen, Dissertation, 2019
- Keyword
-
Explanation
Metaphysics
Inference
Truth
Evidence
Logik ; Formale Semantik ; Intuitionistische Logik ; Beweistheorie ; Schlussfolgern ; Logischer Schluss ; Vollständigkeit ; Kalkül des natürlichen Schließens
- Event
-
Veröffentlichung
- (where)
-
Tübingen
- (who)
-
Universitätsbibliothek Tübingen
- (when)
-
2019
- Creator
- Contributor
-
Schroeder-Heister, Peter
- URN
-
urn:nbn:de:bsz:21-dspace-862466
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:00 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Oliveira, Hermógenes
- Schroeder-Heister, Peter
- Universitätsbibliothek Tübingen
Time of origin
- 2019
Other Objects (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