Goedel propositional logic is the logic of the minimum t-norm, and can be axiomatised as propositional intuitionistic logic augmented by the prelinearity axiom. Thus, its Tarski-Lindenbaum algebras are Heyting algebras satisfying prelinearity; we shall call them Goedel algebras. A Delannoy path is a lattice path in Z^2 that only uses northward, westward, and northwestward steps. We give a representation theorem for n-generated free Goedel algebras based upon the boolean unit n-cube {0,1}^n enriched by families of Delannoy paths (more precisely, their straightforward multidimensional generalisation). If time allows, we report on work in progress that, using ordered partitions of finite sets, aims at building a new combinatorial semantics for Goedel propositional logic.

Propositional Gödel logic, Delannoy paths and ordered partitions / P. Codara. ((Intervento presentato al convegno Ordered Structures in Many-Valued Logic tenutosi a Massa Lubrense (NA) nel 2006.

Propositional Gödel logic, Delannoy paths and ordered partitions

P. Codara
Primo
2006

Abstract

Goedel propositional logic is the logic of the minimum t-norm, and can be axiomatised as propositional intuitionistic logic augmented by the prelinearity axiom. Thus, its Tarski-Lindenbaum algebras are Heyting algebras satisfying prelinearity; we shall call them Goedel algebras. A Delannoy path is a lattice path in Z^2 that only uses northward, westward, and northwestward steps. We give a representation theorem for n-generated free Goedel algebras based upon the boolean unit n-cube {0,1}^n enriched by families of Delannoy paths (more precisely, their straightforward multidimensional generalisation). If time allows, we report on work in progress that, using ordered partitions of finite sets, aims at building a new combinatorial semantics for Goedel propositional logic.
giu-2006
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
http://www.dmi.unisa.it/people/bgerla/www/conf/index.html
Propositional Gödel logic, Delannoy paths and ordered partitions / P. Codara. ((Intervento presentato al convegno Ordered Structures in Many-Valued Logic tenutosi a Massa Lubrense (NA) nel 2006.
Conference Object
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/169261
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact