• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 157 matches

• 2023
• 
  Nissim Francez:
  A Dialectic Contra-Classical Logic. Logica Universalis 17(2): 221-229 (2023)
• 2022
• 
  Nissim Francez:
  A Generalization of Falsity in Finitely-many Valued Logics. Fundam. Informaticae 186(1-4): 121-132 (2022)
• 
  Nissim Francez:
  A generalization of falsity in finitely-many valued logics. CoRR abs/2203.16890 (2022)
• 2021
• 
  Nissim Francez:
  Bilateralism based on Corrective Denial. FLAP 8(2): 497-510 (2021)
• 
  Nissim Francez:
  On the Role of Aristotle's Connexive Axioms in Non-connexive Logics. FLAP 8(3): 659-670 (2021)
• 
  Michael Kaminski, Nissim Francez:
  Calculi for Many-Valued Logics. Logica Universalis 15(2): 193-226 (2021)
• 2020
• 
  Nissim Francez:
  Connexive Restricted Quantification. Notre Dame J. Formal Log. 61(3): 383-402 (2020)
• 
  Michael Kaminski, Nissim Francez:
  De Morgan Interpretation of the Lambek-Grishin Calculus. Rev. Symb. Log. 13(4): 845-856 (2020)
• 2019
• 
  Nissim Francez, Michael Kaminski:
  On Poly-logistic Natural-deduction for Finitely-valued Propositional Logics. FLAP 6(2): 255-290 (2019)
• 
  Nissim Francez:
  On Beall's New Interpretation of $$WK_{3}$$ W K 3. J. Log. Lang. Inf. 28(1): 1-7 (2019)
• 
  Nissim Francez:
  Bilateralism, Trilateralism, Multilateralism and Poly-Sequents. J. Philos. Log. 48(2): 245-262 (2019)
• 
  Nissim Francez, Michael Kaminski:
  Structural Rules for Multi-valued Logics. Logica Universalis 13(1): 65-75 (2019)
• 2018
• 
  Nissim Francez:
  Bilaterilism does Provide a Proof Theoretic Treatment of Classical Logic (for non-technical reasons). FLAP 5(8): 1653-1662 (2018)
• 
  Nissim Francez:
  Diversification of Object-Languages for Propositional Logics. J. Log. Lang. Inf. 27(3): 193-203 (2018)
• 2017
• 
  Nissim Francez, Bartosz Wieckowski:
  A Proof Theory for First-order Logic with Definiteness. FLAP 4(2) (2017)
• 
  Nissim Francez:
  On harmony and permuting conversions. J. Appl. Log. 21: 14-23 (2017)
• 
  Nissim Francez:
  A Proof-Theoretic Semantics for Adjectival Modification. J. Log. Lang. Inf. 26(1): 21-43 (2017)
• 
  Nissim Francez, Michael Kaminski:
  A Proof-Theoretic Semantics for Exclusion. Logica Universalis 11(4): 489-505 (2017)
• 
  Nissim Francez:
  A Proof-Theoretic Semantics for Transitive Verbs with an Implicit Object. MOL 2017: 59-67
• 2016
• 
  Nissim Francez:
  Natural Deduction for Two Connexive Logics. FLAP 3(3): 479-504 (2016)
• 
  Nissim Francez:
  Proof-Theoretic Semantics for Intensional Transitive Verbs. J. Semant. 33(4): 803-826 (2016)
• 
  Nissim Francez:
  Relevant harmony. J. Log. Comput. 26(1): 235-245 (2016)
• 
  Nissim Francez:
  Views of proof-theoretic semantics: reified proof-theoretic meanings. J. Log. Comput. 26(2): 479-494 (2016)
• 
  Michael Kaminski, Nissim Francez:
  The Lambek Calculus Extended with Intuitionistic Propositional Logic. Stud Logica 104(5): 1051-1082 (2016)
• 2015
• 
  Nissim Francez:
  A proof-theoretic universal property of determiners. J. Appl. Log. 13(4): 799-808 (2015)
• 
  Nissim Francez, Gilad Ben-Avi:
  Proof-Theoretic Reconstruction of Generalized Quantifiers. J. Semant. 32(3): 313-371 (2015)
• 
  Nissim Francez:
  On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics. Logica Universalis 9(1): 121-127 (2015)
• 
  Nissim Francez:
  On the Notion of Canonical Derivations from Open Assumptions and its Role in Proof-Theoretic Semantics. Rev. Symb. Log. 8(2): 296-305 (2015)
• 2014
• 
  Nissim Francez:
  A proof-theoretic semantics for contextual domain restriction. J. Lang. Model. 2(2): 249-283 (2014)
• 
  Nissim Francez:
  Bilateralism in Proof-Theoretic Semantics. J. Philos. Log. 43(2-3): 239-259 (2014)

skipping 127 more matches