Finite Hilbert Systems for Weak Kleene Logics

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
1 Online-Ressource.
Sprache
Englisch

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

Urheber
Greati, Vitor
Marcelino, Sérgio
Rivieccio, Umberto
Beteiligte Personen und Organisationen
SpringerLink (Online service)

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

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

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

Ähnliche Objekte (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, Heinrich

Archivale

Kleene, Heinrich

Kleene, Elisabeth

Archivale

Kleene, Elisabeth

Kleene, Heinrich

Archivale

Kleene, Heinrich

Kleene, Boris

Archivale

Kleene, Boris

Kleene, Franz

Archivale

Kleene, Franz

Kleene Modules

Kleene Modules

Kleene modules

Kleene modules

Verbundene Objekte