yr 〜
yr

Search results 170

Question-orientedness and the semantics of clausal complementation (Studies in linguistics and philosophy ; volume 106)

Question-orientedness and the semantics of clausal complementation (Studies in linguistics and philosophy ; volume 106)
Paper図書
Wataru UegakiSpringer[2022]<KE87-D8>
National Diet LibraryOther Libraries in Japan
  • Summary, etc.... take a set of propositions as their sema...... objects, like propositions and questions, the embedding...
  • Subject Heading...al--Complement Propositions (Linguistique) Complément (...

Propositionale Argumente im Sprachvergleich : Theorie und Empirie = Propositional arguments in cross-linguistic research : theoretical and empirical issues

Propositionale Argumente im Sprachvergleich : Theorie und Empirie = Propositional arguments in cross-linguistic research : theoretical and empirical issues
Paper図書
Jutta M. Hartmann ; Angelika Wöllstein (Hrsg.)Narr Francke Attemptoc2023
Other Libraries in Japan
  • Subject HeadingDeutsch Proposition Kontrastive Syntax Konferenzs...
  • Subject Heading (ID)Deutsch Proposition Kontrastive Syntax Konferenzs...
  • Alternative TitlePropositional arguments in cross-linguist...

Münchener Kommentar zur Insolvenzordnung 4. Auflage

Münchener Kommentar zur Insolvenzordnung 4. Auflage
Paper図書
herausgegeben von Rolf Stürner, Horst Eidenmüller, Heinrich SchoppmeyerC.H. Beck2019-2021<AG4-781-D11>
National Diet Library
  • Subject Heading...ditor--Germany Proposition concordataire--Allemagne Déb...

On the nominal nature of propositional arguments

On the nominal nature of propositional arguments
Paper図書
herausgegeben von Katrin Axel-Tober, Lutz Gunkel, Jutta M. Hartmann & Anke HollerHelmut Buskec2023
Other Libraries in Japan
  • Subject Heading...-- Noun phrase Proposition (Logic) Syntax Nominalsatz Proposition Aufsatzsammlung Germanistik S...
  • Subject Heading (ID)...-- Noun phrase Proposition (Logic) Syntax Nominalsatz Proposition Aufsatzsammlung Germanistik S...

Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)

Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)
Paper図書
Springerc2011.<M17-11-3217>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Dec...

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)
Paper図書
Springerc2010.<M17-11-152>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Dec...

失語症の談話における意味伝達の特性と関連要因－失語型と意味の正確性・完全性からの検討－

失語症の談話における意味伝達の特性と関連要因－失語型と意味の正確性・完全性からの検討－
Digital博士論文障害者向け資料あり
櫻岡, 絵里香2019-03-16
National Diet Library
  • Subject Heading失語症 談話 意味 命題 aphasia, discourse, meaning, proposition

Theory and applications of satisfiability testing -- SAT 2007 : 10th international conference : Lisbon, Portugal, May 28-31, 2007 : proceedings. : annual SAT conference : 10th SAT meeting : May 2007, Lisbon, Portugal. (Lecture Notes in Computer Science ; 4501)

Theory and applications of satisfiability testing -- SAT 2007 : 10th international conference : Lisbon, Portugal, May 28-31, 2007 : proceedings. : annual SAT conference : 10th SAT meeting : May 2007, Lisbon, Portugal. (Lecture Notes in Computer Science ; 4501)
Paper図書
Springerc2007.<M17-07-1549>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Dec...

Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)

Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)
Paper図書
Springerc2009.<M17-10-304>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Dec...

Theory and applications of satisfiability testing -- SAT 2008 : 11th international conference, SAT 2008 : Guangzhou, China, May 12-15, 2008 : proceedings. : May 2008, Guangzhou, China. (Lecture Notes in Computer Science ; 4996)

Theory and applications of satisfiability testing -- SAT 2008 : 11th international conference, SAT 2008 : Guangzhou, China, May 12-15, 2008 : proceedings. : May 2008, Guangzhou, China. (Lecture Notes in Computer Science ; 4996)
Paper図書
Springerc2008.<M17-08-1264>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Dec...

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4121)

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4121)
Paper図書
Springerc2006.<M17-06-2345>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Dec...
  • Note (General)...s studying the propositional satisfiability problem (SAT...

Speak now : marriage equality on trial : the story of Hollingsworth v. Perry First Edition.

Speak now : marriage equality on trial : the story of Hollingsworth v. Perry First Edition.
Paper図書
Kenji Yoshino.Crown Publishers[2015]<AU-841-B34>
National Diet Library
  • Summary, etc.... voters passed Proposition 8, rescinding the right of sa...
  • Subject Heading...t. California. Proposition 8 (2008) Same-sex marriage--L...

Theory and applications of satisfiability testing : 6th international conference, SAT 2003 : Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers. : May 2003, Santa Margherita Ligure, Italy. (Lecture Notes in Computer Science ; 2919)

Theory and applications of satisfiability testing : 6th international conference, SAT 2003 : Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers. : May 2003, Santa Margherita Ligure, Italy. (Lecture Notes in Computer Science ; 2919)
Paper図書
Springer-Verlagc2004.<M17-04-2427>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Dec...

Propositions : ontology and logic : hbk

Propositions : ontology and logic : hbk
Paper図書
Robert StalnakerOxford University Pressc2023
Other Libraries in Japan
  • Subject HeadingProposition (Logic)
  • Subject Heading (ID)Proposition (Logic)

The priority of propositions : a pragmatist philosophy of logic : [pbk.]

The priority of propositions : a pragmatist philosophy of logic : [pbk.]
Paper図書
María José FrápolliSpringerc2023
Other Libraries in Japan
  • Subject HeadingFrege, Gottlob, 1848-1925 Proposition (Logic)
  • Subject Heading (ID)Frege, Gottlob, 1848-1925 Proposition (Logic)

Properties and propositions : the metaphysics of higher-order logic : hbk

Properties and propositions : the metaphysics of higher-order logic : hbk
Paper図書
Robert TruemanCambridge University Press, 20212021
Other Libraries in Japan
  • Subject HeadingPredicate (Logic) Proposition (Logic) Tropes (Philosophy) M...
  • Subject Heading (ID)Predicate (Logic) Proposition (Logic) Tropes (Philosophy) M...

A.N.ホワイトヘッドの哲学における「命題」概念の研究―知覚論への「命題」概念の適用について―

A.N.ホワイトヘッドの哲学における「命題」概念の研究―知覚論への「命題」概念の適用について―
Digital博士論文障害者向け資料あり
佐藤, 陽祐中央大学大学院事務室2016-03-18
National Diet Library
  • Subject Headingホワイトヘッド 宇宙論 知覚論 命題 象徴的関連付け 命題的感受 Whitehead proposition perception

Syntaxe, sémantique

Syntaxe, sémantique
Paper図書
Angelina Aleksandrova ... [et al.], dirHarmattanc2018
Other Libraries in Japan
  • Subject HeadingPropositions temporelles Sémantique
  • Subject Heading (ID)Propositions temporelles Sémantique

Propositional content

Propositional content
Paper図書
Peter HanksOxford University Pressc2015
Other Libraries in Japan
  • Subject HeadingProposition (Logic) Propositional attitudes
  • Subject Heading (ID)Proposition (Logic) Propositional attitudes

V.A. Yankov on non-classical logics, history and philosophy of mathematics

V.A. Yankov on non-classical logics, history and philosophy of mathematics
Paper図書
Alex Citkin, Ioannis M. Vandoulakis, editorsSpringerc2022
Other Libraries in Japan
  • Subject HeadingI︠A︡nkov, V. A. (Vadim Anatolʹevich) Proposition (Logic) Mathematics -- Philos...
  • Subject Heading (ID)I︠A︡nkov, V. A. (Vadim Anatolʹevich) Proposition (Logic) Mathematics -- Philos...