Logica

, &
Lima, Peru: UNMSM (2007)
  Copy   BIBTEX

Abstract

An introduction to propositional logical and first-order logic

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Capturing Consequence.Alexander Paseau - 2019 - Review of Symbolic Logic 12 (2):271-295.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
First-Order da Costa Logic.Graham Priest - 2011 - Studia Logica 97 (1):183 - 198.
A second course in logic.Christopher Gauker - manuscript
Weak and Post completeness in the Hilbert school.Víctor Aranda - 2019 - Humanities Journal of Valparaiso 14:449-466.
Propositionalism.A. C. Paseau - 2021 - Journal of Philosophy 118 (8):430-449.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
The relevant fragment of first order logic.Guillermo Badia - 2016 - Review of Symbolic Logic 9 (1):143-166.
An Introduction to Mathematical Logic.Richard E. Hodel - 2013 - Courier Corporation.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.
A New Semantics for Systems of Logic of Essence.Alessandro Giordani - 2014 - Studia Logica 102 (3):411-440.
The Expressive Power of Second-Order Propositional Modal Logic.Michael Kaminski & Michael Tiomkin - 1996 - Notre Dame Journal of Formal Logic 37 (1):35-43.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.

Analytics

Added to PP
2022-06-17

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references