- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics ; day:3 ; month:5 ; year:2024 ; pages:1-18
Journal of logic, language and information ; (3.5.2024), 1-18
- Creator
-
Petrukhin, Yaroslav
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10849-024-09415-7
- URN
-
urn:nbn:de:101:1-2407142125528.214170254682
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:54 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
- Petrukhin, Yaroslav
- SpringerLink (Online service)
Other Objects (12)
Completeness theory for propositional logics
On weak completeness of intuitionistic predicative logic
On weak completeness of intuitionistic predicate logic
Modal Intuitionistic Logics as Dialgebraic Logics: Q/A Session A - Paper A6.A
On Study of Some Intuitionistic Fuzzy Operators for Intuitionistic Fuzzy Algebraic Structures
Completeness and reduction in algebraic complexity theory
Benchmark libraries for automated theorem proving systems in intuitionistic and modal logics
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
A general algebraic semantics for sentenial [sentential] logics
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics
Approximations of Isomorphism and Logics with Linear-Algebraic Operators
Completeness theory for propositional logics
On weak completeness of intuitionistic predicative logic
On weak completeness of intuitionistic predicate logic
Modal Intuitionistic Logics as Dialgebraic Logics: Q/A Session A - Paper A6.A
On Study of Some Intuitionistic Fuzzy Operators for Intuitionistic Fuzzy Algebraic Structures
Completeness and reduction in algebraic complexity theory
Benchmark libraries for automated theorem proving systems in intuitionistic and modal logics
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
A general algebraic semantics for sentenial [sentential] logics
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics
Approximations of Isomorphism and Logics with Linear-Algebraic Operators
Completeness theory for propositional logics
On weak completeness of intuitionistic predicative logic
On weak completeness of intuitionistic predicate logic
Modal Intuitionistic Logics as Dialgebraic Logics: Q/A Session A - Paper A6.A
On Study of Some Intuitionistic Fuzzy Operators for Intuitionistic Fuzzy Algebraic Structures
Completeness and reduction in algebraic complexity theory
Benchmark libraries for automated theorem proving systems in intuitionistic and modal logics
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
A general algebraic semantics for sentenial [sentential] logics
Kapsner Complementation: An Algebraic Take on Kapsner Strong Logics