Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science¶

Surma, S. J. (1982). Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science.

Type: Unclassified
Intellectual base: Unclassified
Year: 1982
DOI: 10.1016/s0049-237x(09)70230-7
Link: https://doi.org/10.1016/s0049-237x(09)70230-7

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Lindenbaum–Tarski algebra
- The resulting structure is Boolean, Heyting, cylindric or another algebra according to the logic and language, and translates syntactic proof relations into order and algebraic equations.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:72874330391e · see in the full table