Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Logic 55 [ausschließen]
- Philosophie 35 [ausschließen]
- Mathematical Logic and Foundations 33 [ausschließen]
- Philosophy 33 [ausschließen]
- Logic, Symbolic and mathematical 28 [ausschließen]
- Logik 24 [ausschließen]
- Philosophy (General) 24 [ausschließen]
- Mathematische Logik 18 [ausschließen]
- Algebra 14 [ausschließen]
- Aufsatzsammlung 12 [ausschließen]
- Mathematical logic 12 [ausschließen]
- Beweistheorie 8 [ausschließen]
- Hochschulschrift 8 [ausschließen]
- Order, Lattices, Ordered Algebraic Structures 8 [ausschließen]
- Artificial Intelligence (incl. Robotics) 7 [ausschließen]
- Artificial intelligence 7 [ausschließen]
- Künstliche Intelligenz 7 [ausschließen]
- Mathematical Logic and Formal Languages 7 [ausschließen]
- Modallogik 7 [ausschließen]
- Mathematik 6 [ausschließen]
- Modality (Logic) 6 [ausschließen]
- Naturwissenschaft 6 [ausschließen]
- Epistemology 5 [ausschließen]
- Fuzzy-Logik 5 [ausschließen]
- Philosophy of Science 5 [ausschließen]
- Proof theory 5 [ausschließen]
- Science / Philosophy 5 [ausschließen]
- Analysis (Philosophy) 4 [ausschließen]
- Analytic Philosophy 4 [ausschließen]
- Konferenzschrift 4 [ausschließen]
-
1
A model–theoretic approach to proof theory
Veröffentlicht 2019“… Trends in logic …”
VolltextElektronisch E-Book -
2
Harmony and paradox intensional aspects of proof-theoretic semantics
Veröffentlicht 2024“… Trends in logic …”
kostenfrei
kostenfrei
Elektronisch E-Book -
3
Inquisitive logic consequence and inference in the realm of questions
Veröffentlicht 2022“… Trends in logic …”
kostenfrei
kostenfrei
Elektronisch E-Book -
4
Heyting algebras duality theory
Veröffentlicht 2019“… Trends in logic …”
VolltextElektronisch E-Book -
5
The logical writings of Karl Popper
Veröffentlicht 2022“… Trends in logic …”
kostenfrei
kostenfrei
Elektronisch E-Book -
6
-
7
Advances in proof-theoretic semantics
Veröffentlicht 2016“… Trends in logic …”
kostenfrei
Inhaltsverzeichnis
Abstract
Elektronisch E-Book -
8
Quantum computation and logic how quantum computers have inspired logical investigations
Veröffentlicht 2018“… Trends in Logic, Studia Logica Library …”
VolltextElektronisch E-Book -
9
Foundations of the theory of parthood a study of mereology
Veröffentlicht 2020“… Trends in Logic, Studia Logica Library …”
VolltextElektronisch E-Book -
10
Well-quasi orders in computation, logic, language and reasoning a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
Veröffentlicht 2020“… Trends in Logic, Studia Logica Library …”
VolltextElektronisch Tagungsbericht E-Book -
11
Contradictions, from consistency to inconsistency
Veröffentlicht 2018“… Trends in Logic, Studia Logica Library …”
VolltextElektronisch E-Book -
12
Meaning and proscription in formal logic variations on the propositional logic of William T. Parry
Veröffentlicht 2017“… Trends in Logic, Studia Logica Library …”
VolltextElektronisch E-Book -
13
Descriptor revision belief change through direct choice
Veröffentlicht 2017“… Trends in Logic, Studia Logica Library …”
VolltextElektronisch E-Book -
14
-
15
-
16
-
17
-
18
Adaptive logics for defeasible reasoning applications in argumentation, normative reasoning and default reasoning
Veröffentlicht 2014“… Trends in logic …”
DE-634
DE-861
DE-91
DE-384
DE-19
DE-703
DE-20
DE-739
URL des Erstveröffentlichers
Inhaltsverzeichnis
Abstract
Elektronisch E-Book -
19
Dual Tableaux Foundations, Methodology, Case Studies
Veröffentlicht 2011“… Trends in logic …”
Inhaltstext
Inhaltsverzeichnis
Buch -
20
Gentzen calculi for modal propositional logic
Veröffentlicht 2011“… Trends in logic …”
DE-634
DE-384
DE-19
DE-703
DE-20
URL des Erstveröffentlichers
Elektronisch E-Book