- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8730
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Kripke Semantics for Intuitionistic Łukasiewicz Logic ; day:21 ; month:4 ; year:2020 ; pages:1-27
Studia logica ; (21.4.2020), 1-27
- Klassifikation
-
Mathematik
- Urheber
-
Lewis-Smith, A.
Oliva, P.
Robinson, E.
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11225-020-09908-z
- URN
-
urn:nbn:de:101:1-2020070222370444953086
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:45 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
- Lewis-Smith, A.
- Oliva, P.
- Robinson, E.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Ontologically minimal semantics for intuitionistic logic
Truthmaker Semantics for Intuitionistic Modal Logic
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Intuitionistic Logic is a Connexive Logic
Foundations of intuitionistic logic
Frege's foundations and intuitionistic logic
Gödel's excursions into intuitionistic logic
An Intuitionistic Approach to Logic Programming
Truthmaker Semantics for Relevant Logic
Improving proof search in intuitionistic propositional logic
On weak completeness of intuitionistic predicative logic
Intuitionistic modal logic and applications : workshop proceedings
Ontologically minimal semantics for intuitionistic logic
Truthmaker Semantics for Intuitionistic Modal Logic
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Intuitionistic Logic is a Connexive Logic
Foundations of intuitionistic logic
Frege's foundations and intuitionistic logic
Gödel's excursions into intuitionistic logic
An Intuitionistic Approach to Logic Programming
Truthmaker Semantics for Relevant Logic
Improving proof search in intuitionistic propositional logic
On weak completeness of intuitionistic predicative logic
Intuitionistic modal logic and applications : workshop proceedings
Ontologically minimal semantics for intuitionistic logic
Truthmaker Semantics for Intuitionistic Modal Logic
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Intuitionistic Logic is a Connexive Logic
Foundations of intuitionistic logic
Frege's foundations and intuitionistic logic
Gödel's excursions into intuitionistic logic
An Intuitionistic Approach to Logic Programming
Truthmaker Semantics for Relevant Logic
Improving proof search in intuitionistic propositional logic
On weak completeness of intuitionistic predicative logic