- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Sequent Calculi for Choice Logics ; volume:68 ; number:2 ; day:3 ; month:4 ; year:2024 ; pages:1-27 ; date:6.2024
Journal of automated reasoning ; 68, Heft 2 (3.4.2024), 1-27, 6.2024
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-024-09695-5
- URN
-
urn:nbn:de:101:1-2406190950020.514950339685
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:52 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
- Bernreiter, Michael
- Lolic, Anela
- Maly, Jan
- Woltran, Stefan
- SpringerLink (Online service)
Ähnliche Objekte (12)
Two-sided Sequent Calculi for FDE-like Four-valued Logics
Connection calculi for automated theorem proving in classical and non-classical logics
Deriving inference rules for description logics : a rewriting approach into sequent calculi
Calculi.
Calculi.
Logics for linguistic structures
Logics for Mazurkiewicz traces
Algebraic calculi for hybrid systems
Algebraic Calculi for Separation Logic
Algebraic calculi for hybrid systems
Calculi humani
Completeness theory for propositional logics
Two-sided Sequent Calculi for FDE-like Four-valued Logics
Connection calculi for automated theorem proving in classical and non-classical logics
Deriving inference rules for description logics : a rewriting approach into sequent calculi
Calculi.
Calculi.
Logics for linguistic structures
Logics for Mazurkiewicz traces
Algebraic calculi for hybrid systems
Algebraic Calculi for Separation Logic
Algebraic calculi for hybrid systems
Calculi humani
Completeness theory for propositional logics
Two-sided Sequent Calculi for FDE-like Four-valued Logics
Connection calculi for automated theorem proving in classical and non-classical logics
Deriving inference rules for description logics : a rewriting approach into sequent calculi
Calculi.
Calculi.
Logics for linguistic structures
Logics for Mazurkiewicz traces
Algebraic calculi for hybrid systems
Algebraic Calculi for Separation Logic
Algebraic calculi for hybrid systems
Calculi humani