https://researchportalplus.anu.edu.au/en/publications/model-theory-and-proof-theory-of-coalgebraic-predicate-logic/fingerprints/
Model theory and proof theory of coalgebraic predicate logic - Fingerprint - The Australian...
model theorypredicate logicproof
https://en-academic.com/dic.nsf/enwiki/8605199
Predicate functor logic
In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely...
predicatefunctorlogic
https://logic-calculator.com/learn/introduction-to-propositional-calculus
Logic Calculator - Propositional, Boolean & Predicate Logic Tool
Free online logic calculator for propositional logic, Boolean algebra, predicate logic, and truth table generation. Comprehensive tool for students and...
logic calculatorbooleanpredicatetool
https://www.textbookx.com/book/A-Modern-Formal-Logic-Primer-Predicate-Logic-and-Metatheory-Volume-2/9780139031960/
A Modern Formal Logic Primer: Predicate Logic and Metatheory (Volume 2) by Paul Teller, ISBN...
Buy A Modern Formal Logic Primer: Predicate Logic and Metatheory (Volume 2) by Paul Teller at TextbookX.com. ISBN/UPC: 9780139031960. Save an average of 50% on...