scientific article; zbMATH DE number 4143963

zbMATH Open0698.03027MaRDI QIDQ3475261FDOQ3475261

Authors: Marcin Mostowski 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1163949
• scientific article; zbMATH DE number 1163387
• scientific article; zbMATH DE number 1086489
• Publication:3211286
• Pure Logic with Branched Quantifiers

zbMATH Keywords

proof theory for a logic of branched quantifierssecond order semantics for branched quantifiers

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Cited In (4)

• Decidability problems in languages with Henkin quantifiers
• Pure Logic with Branched Quantifiers
• Independence-friendly logic without Henkin quantification
• On the ontology of branching quantifiers

Uses Software

• Mizar

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3475261)