EUDML | On constructible falsity in the constructive logic with strong negation

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

Displaying similar documents to “On constructible falsity in the constructive logic with strong negation”

Algebraic treatment of the notion of satisfiability

H. Rasiowa, Roman Sikorski (1953)

Fundamenta Mathematicae

Similarity:

N-lattices and constructive logic with strong negation

H. Rasiowa (1958)

Fundamenta Mathematicae

Similarity:

On transitive Boolean relations

Henry Francis Joseph Löwig (1951)

Czechoslovak Mathematical Journal

Similarity:

Applications of topology to foundations of mathematics

Sikorski, R.

Similarity:

Algebraic Treatment of the Functional Calculi of Heyting and Lewis

H. Rasiowa (1951)

Fundamenta Mathematicae

Similarity: