- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8382
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach ; day:9 ; month:11 ; year:2020 ; pages:1-44
Artificial intelligence and law ; (9.11.2020), 1-44
- Classification
-
Recht
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10506-020-09278-w
- URN
-
urn:nbn:de:101:1-2020122019232977997945
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:27 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
- Lellmann, Björn
- Gulisano, Francesca
- Ciabattoni, Agata
- SpringerLink (Online service)
Other Objects (12)
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Categorical Proof-theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents
Plural semantics for natural language understanding : a computational proof-theoretic approach
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach
Proof-theoretic Validity Based on Elimination Rules
Two proof-theoretic remarks on EA + ECT
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic harmony: towards an intensional account
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Categorical Proof-theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents
Plural semantics for natural language understanding : a computational proof-theoretic approach
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach
Proof-theoretic Validity Based on Elimination Rules
Two proof-theoretic remarks on EA + ECT
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic harmony: towards an intensional account
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Categorical Proof-theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents
Plural semantics for natural language understanding : a computational proof-theoretic approach
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach
Proof-theoretic Validity Based on Elimination Rules
Two proof-theoretic remarks on EA + ECT
Peter Schroeder-Heister on Proof-Theoretic Semantics