An axiomatization of predicate functor logic

DOI10.1305/NDJFL/1093870313zbMath0464.03059OpenAlexW1979327763MaRDI QIDQ1153908

Steven T. Kuhn

Publication date: 1983

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870313

Mathematics Subject Classification ID

Algebraic logic (03G99)

Related Items (3)

Murphree's numerical term logic tableaux ⋮ The completeness of a predicate-functor logic ⋮ Freeing Structural Realism from Model Theory

This page was built for publication: An axiomatization of predicate functor logic