Intuitionistic Propositional Logic with the Converse Ackermann Property

En este artículo extendemos el espectro de las lógicas con la Conversa de la Propiedad Ackermann. Definimos y axiomatizamos lógicas preposicionales intuicionistas positivas, lógicas subintuicionistas y lógicas intuicionistas con la Conversa de la Propiedad Ackermann. Especialmente interesante e... Ausführliche Beschreibung

1. Person: Robles, Gemma
Weitere Personen: Méndez, José M. verfasserin; Salto, Francisco verfasserin; Méndez R., Pedro verfasserin
Quelle: in Teorema: Revista Internacional de Filosofía Vol. 22, No. 1/2 (2003), p. 43-54
Weitere Artikel
Format: Online-Artikel
Sprache: English
Veröffentlicht: 2003
Beschreibung: Online-Ressource
Schlagworte: research-article
Online Zugang: Volltext
Volltext
Tags: Hinzufügen
Keine Tags. Fügen Sie den ersten Tag hinzu!

Online

Volltext
Falls Sie Probleme beim Volltextzugriff haben, prüfen Sie bitte auch den 'Find Text'-Button oder fragen Sie uns!

Ähnliche Einträge

Keine ähnlichen Titel gefunden

Privacy Notice Ask a Librarian New Acquisitions