A Refined Geometry of Logic
Principia 13 (3):339-356 (2009)
| Abstract | http://dx.doi.org/10.5007/1808-1711.2009v13n3p339 A fim de medir o grau de dessemelhança entre elementos de uma álgebra booleana, o autor propôs em (1984) usar pseudométricas satisfazendo generalizações dos axiomas usuais para a identidade. A proposta é estendida, na medida em que é exequível, de álgebras booleanas (álgebras de proposições) para álgebras de Brouwer (álgebras de teorias dedutivas). A relação entre geometrias booleanas e de Brouwer da lógica resulta semelhante, de maneira curiosa, à relação entre geometrias euclidianas e não-euclidianas do espaço físico. O artigo conclui com uma breve consideração do problema da metrização da álgebra de teorias | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. Try with proxy. Try with proxy. |
| Through your library | Configure |
Similar books and articlesBronisław Tembrowski (1983). The Theory of Boolean Algebras with an Additional Binary Operation. Studia Logica 42 (4):389 - 405.
Bronisław Tembrowski (1989). B-Varieties with Normal Free Algebras. Studia Logica 48 (4):555 - 564.
Steven Givant (2003). Inequivalent Representations of Geometric Relation Algebras. Journal of Symbolic Logic 68 (1):267-310.
J. L. Bell (1997). Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. Journal of Symbolic Logic 62 (4):1265-1279.
Mohamed A. Amer (1985). Extension of Relatively |Sigma-Additive Probabilities on Boolean Algebras of Logic. Journal of Symbolic Logic 50 (3):589 - 596.
Nguyen Cat Ho & Helena Rasiowa (1989). Plain Semi-Post Algebras as a Poset-Based Generalization of Post Algebras and Their Representability. Studia Logica 48 (4):509 - 530.
Robert Goldblatt (2011). Grishin Algebras and Cover Systems for Classical Bilinear Logic. Studia Logica 99 (1-3):203-227.
Vera Stebletsova & Yde Venema (2001). Undecidable Theories of Lyndon Algebras. Journal of Symbolic Logic 66 (1):207-224.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
Analytics
Monthly downloads |
Added to index2010-08-15Total downloads7 ( #134,983 of 556,840 )Recent downloads (6 months)1 ( #64,931 of 556,840 )How can I increase my downloads? |
My notes
Discussion
