Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
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
Normal 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 / namelinks / 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
    0 references
    0 references
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references