- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-024-09695-5
- URN
-
urn:nbn:de:101:1-2406190950020.514950339685
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:52 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
- Bernreiter, Michael
- Lolic, Anela
- Maly, Jan
- Woltran, Stefan
- SpringerLink (Online service)
Other Objects (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
Calculi humani
Algebraic calculi for hybrid systems
Algebraic Calculi for Separation Logic
Algebraic calculi for hybrid systems
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
Calculi humani
Algebraic calculi for hybrid systems
Algebraic Calculi for Separation Logic
Algebraic calculi for hybrid systems
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
Calculi humani
Algebraic calculi for hybrid systems
Algebraic Calculi for Separation Logic
Algebraic calculi for hybrid systems