Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices.

Th. Skolem

Loading [MathJax]/extensions/MathZoom.js

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices.”

Some Results Concerning a General Set Theoretical Approach to Logic.

Anton Jensen (1965)

Mathematica Scandinavica

Similarity:

J. BARKLEY ROSSER: Logic for mathematicians

TH. SKOLEM (1954)

Mathematica Scandinavica

Similarity:

Reflexivity and Completeness in Vector-Lattices.

Johan F. Aarness (1968)

Mathematica Scandinavica

Similarity:

A relational semantics for the logic of bounded lattices

Luciano J. González (2019)

Mathematica Bohemica

Similarity:

This paper aims to propose a complete relational semantics for the so-called logic of bounded lattices, and prove a completeness theorem with regard to a class of two-sorted frames that is dually equivalent (categorically) to the variety of bounded lattices.