An axiomatic system for the first order language with an equi-cardinality quantifier

DOI10.2307/2269698zbMath0192.03703OpenAlexW2168280093MaRDI QIDQ5586245

Mitsuru Yasuhara

Publication date: 1966

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269698

zbMATH Keywords

algebraic logic, model theory

Related Items

Beth's theorem in cardinality logics

Cites Work

• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi