- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource, 1 online resource.
- Language
-
Englisch
- Bibliographic citation
-
Intuitionistic Logic is a Connexive Logic ; day:2 ; month:5 ; year:2023 ; pages:1-45
Studia logica ; (2.5.2023), 1-45
- Creator
-
Fazio, Davide
Ledda, Antonio
Paoli, Francesco
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11225-023-10044-7
- URN
-
urn:nbn:de:101:1-2023090511274681769306
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:02 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
- Fazio, Davide
- Ledda, Antonio
- Paoli, Francesco
- SpringerLink (Online service)
Other Objects (12)
Foundations of intuitionistic logic
Frege's foundations and intuitionistic logic
Gödel's excursions into intuitionistic logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Ontologically minimal semantics for intuitionistic logic
Truthmaker Semantics for Intuitionistic Modal Logic
An Intuitionistic Approach to Logic Programming
Improving proof search in intuitionistic propositional logic
On weak completeness of intuitionistic predicative logic
Intuitionistic modal logic and applications : workshop proceedings
On weak completeness of intuitionistic predicate logic
Analysis of Beth's semantic construction of intuitionistic logic
Foundations of intuitionistic logic
Frege's foundations and intuitionistic logic
Gödel's excursions into intuitionistic logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Ontologically minimal semantics for intuitionistic logic
Truthmaker Semantics for Intuitionistic Modal Logic
An Intuitionistic Approach to Logic Programming
Improving proof search in intuitionistic propositional logic
On weak completeness of intuitionistic predicative logic
Intuitionistic modal logic and applications : workshop proceedings
On weak completeness of intuitionistic predicate logic
Analysis of Beth's semantic construction of intuitionistic logic
Foundations of intuitionistic logic
Frege's foundations and intuitionistic logic
Gödel's excursions into intuitionistic logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Ontologically minimal semantics for intuitionistic logic
Truthmaker Semantics for Intuitionistic Modal Logic
An Intuitionistic Approach to Logic Programming
Improving proof search in intuitionistic propositional logic
On weak completeness of intuitionistic predicative logic
Intuitionistic modal logic and applications : workshop proceedings
On weak completeness of intuitionistic predicate logic