Purely equivalential propositional formulas in the intermediate Godel-Dummett logic

• Autorzy: Slomczynska K.
• Języki publikacji: EN

Abstrakty

EN

We describe eectively all purely equivalential propositional formulas in the intermediate Godel-Dummett logic.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2007
• Tom: No. 42
• Strony: 87--100
• Opis fizyczny: Bibliogr. 9 poz., rys.

Twórcy

autor

Slomczynska K.

• Institute of Mathematics Pedagogical University 30-084 Krakow, Poland ul. Podchorążych 2,

Bibliografia

• [1] R. P. Dilworth, Proof of a conjecture on finite modular lattices, Ann. of Math. 60 (1954), pp. 359-364.
• [2] M. Dummett, A propositional calculus with a denumerable matrix, J. Symbolic Logic 24 (1959), pp. 97-106.
• [3] J. M. Font, R. Jansana, D. Pigozzi, A survey of abstract algebraic logic, Studia Logica 74 (2003), pp. 13-97.
• [4] K. Gödel, Zum intuitionistischen Aussagenkalkül. Anz. Akad. Wiss Wien. 69 (1932),pp. 65-66.
• [5] P. M. Idziak, K. S łomczyńska, A. Wroński, Equivalential algebras: A study of Fregean Varieties, in: Proc. Workshop on Abstract Algebraic Logic, Spain, July 1-5, 1997, eds. J. Font, R. Jansana, and D. Pigozzi, CRM Quaderns 10, Barcelona, 1998, pp. 95-100.
• [6] J. K. Kabziński, A. Wroński, On equivalential algebras, in: Proc. 1975 International Symposium on Multiple-Valued Logic, Indiana Univ., Bloomington, Ind., May 13-16, 1975, pp. 419-428.
• [7] K. S łomczyńska, Linear equivalential algebras, Rep. Math. Logic 29 (1995), pp. 41-58.
• [8] K. S łomczyńska, Equivalential algebras. Part I: Representation, Algebra Univers. 35 (1996), pp. 524-547.
• [9] K. Słomczyńska, Free spectra of linear equivalential algebras, J. Symbolic Logic 70 (2005), pp. 1341-1358.