Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.apal.2017.12.005 / rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963685352 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1701.05094 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gödel algebras free over finite distributive lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Handbook of Spatial Logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222745 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4083730 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5224685 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness of S4 with respect to the real line: revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bitopological duality for distributive lattices and Heyting algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: KRULL DIMENSION IN MODAL LOGIC / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rings of sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4871782 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3128959 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4049062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995201 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4277651 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5614468 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5584509 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3965241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5605151 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The algebra of topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On closed elements in closure algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some theorems about the sentential calculi of Lewis and Heyting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On formulas of one variable in intuitionistic propositional calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4069959 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Propositional Calculus and Realizability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3935151 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lectures on polyhedral topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intuitionistic propositional logic is polynomial-space complete / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.APAL.2017.12.005 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 05:08, 11 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tarski's theorem on intuitionistic logic, for polyhedra |
scientific article |
Statements
Tarski's theorem on intuitionistic logic, for polyhedra (English)
0 references
21 March 2018
0 references
It is a well-known fact that the intuitionistic propositional logic is complete with respect to the class of all Heyting algebras. The mentioned theorem by \textit{A. Tarski} [Fundam. Math. 31, 103--134 (1938; Zbl 0020.33704)] states that this logic is complete w.r.t. to all Heyting algebras \(O(X)\) of open sets of a topological space \(X\): every non-theorem is falsified by some \(O(X)\). Actually, the class of admissible spaces here can be considerably restricted: for example, \(X\) may be any Euclidean space \(R^n\). This means, in particular, that the Heyting algebras \(O(R^n)\) and \(O(R^M)\) with \( m \neq n\) satisfy the same formulas; consequently, the intuitionistic logic cannot detect the topological dimension of an Euclidean space. Another classical result on intitionistic logic, which goes back to a short note in 1936 by \textit{S. Jaskowski} [Actual. Sci. Ind. 393, 58--61 (1936; JFM 62.1045.07)], saying that the logic has the finite model property: a non-theorem can be falsified by a finite Heyting algebra. In the paper under review, the authors provide a Tarski style theorem that uses only locally finite Heyting algebras of open sets, and hence covers also Jaśkowski's theorem [loc. cit.]. Namely, they consider the lattice of open subpolyhedra of a compact polyhedron \(P \subseteq R^n\), which turns out to be a locally finite Heyting subalgebra of \(O(P)\), and show that the intuitionistic logic is the logic of formulas valid just in all Heyting algebras arising in this way. They also show that the logic is able, in a sense, to capture the topological dimension of a polyhedron.
0 references
finite model proprty
0 references
Heyting algebra
0 references
intuitionistic logic
0 references
PL-topology
0 references
polyhedron
0 references
topological semantics
0 references
triangulation
0 references
0 references