On Systems of Slices in the Structure of Superintuitionistic Predicate (or Propositional) Logics. I

The structure (i.e., the lattice) of superintuitionistic predicate logics is considered. An approach to classifying logics from the structure is discussed; this means that suitable partitions (via corresponding equivalence relations) are introduced. A few examples of such partitions are demonstrated...

Full description

Saved in:
Bibliographic Details
Published in:Pattern recognition and image analysis 2023-09, Vol.33 (3), p.511-516
Main Author: Skvortsov, D.
Format: Article
Language:English
Subjects:
Computer Science
Image Processing and Computer Vision
Pattern Recognition
Selected Conference Papers
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The structure (i.e., the lattice) of superintuitionistic predicate logics is considered. An approach to classifying logics from the structure is discussed; this means that suitable partitions (via corresponding equivalence relations) are introduced. A few examples of such partitions are demonstrated (or mentioned).
ISSN:1054-6618
1555-6212
DOI:10.1134/S1054661823030434