Work

Inquisitive split and structural completeness

Year: 2025

Type: article

Source: Mathematical Structures in Computer Science

DOI: 10.1017/s0960129525000118

Authors: Thomas Ferguson, Vít Punčochář

Institutions: Rensselaer Polytechnic Institute, Czech Academy of Sciences, Czech Academy of Sciences, Institute of Philosophy

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4410872605

FWCI: 0.477

Cites: 34

Cited by: 1

Related to: 10