Finite Hilbert Systems for Weak Kleene Logics

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
1 Online-Ressource.
Language
Englisch

Bibliographic citation
Finite Hilbert Systems for Weak Kleene Logics ; day:16 ; month:3 ; year:2024 ; pages:1-27
Studia logica ; (16.3.2024), 1-27

Creator
Greati, Vitor
Marcelino, Sérgio
Rivieccio, Umberto
Contributor
SpringerLink (Online service)

DOI
10.1007/s11225-023-10079-w
URN
urn:nbn:de:101:1-2405210714155.255120177043
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:56 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Greati, Vitor
  • Marcelino, Sérgio
  • Rivieccio, Umberto
  • SpringerLink (Online service)

Other Objects (12)

A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics

A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics

Non-associative Kleene algebra and temporal logics

Non-associative Kleene algebra and temporal logics

Non-associative Kleene algebra and temporal logics

Non-associative Kleene algebra and temporal logics

Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

zweidimensionales bewegtes Bild

Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

Representability of Kleene Posets and Kleene Lattices

Representability of Kleene Posets and Kleene Lattices

"Kleene Ha"

Bild

"Kleene Ha"

Kleene, Heinrich

Archivale

Kleene, Heinrich

Kleene, Boris

Archivale

Kleene, Boris

Kleene Modules

Kleene Modules

Kleene modules

Kleene modules

Kleene, Franz

Archivale

Kleene, Franz

Kleene, Elisabeth

Archivale

Kleene, Elisabeth

Related objects