Propositions as Types

Proposition, Nineteen Propositions, List of California ballot propositions, 2008 California Propositions 98 and 99, List of California ballot propositions: 2020–2029, Propositions (album), List of California ballot propositions: 2010–2019, 2008 California Propositions 94, 95, 96, and 97, List of California ballot propositions: 2000–2009, Probabilistic proposition, List of Arizona ballot propositions, California ballot proposition, Categorical proposition, 110 Propositions for France, List of California ballot propositions: 1990–1999, Propositional logic, Propositional formula, List of California ballot propositions: 1970–1979, List of California ballot propositions: 1980–1989, Propositional variable, 2009 California Proposition 1F, Proposition (disambiguation), Proposition 203, 2009 California Proposition 1D, Proposition 17, 2009 California Proposition 1C, Propositional attitude, On Formally Undecidable Propositions of Principia Mathematica and Related Systems, 2009 California Proposition 1B, California Proposition 1A, 2012 California Proposition 28, California Proposition 14, 2018 California Proposition 12, 2009 California Proposition 1E, 2022 California Proposition 27, 2022 California Proposition 30, 1988 California Proposition 90, 2004 California Proposition 57, 2018 California Proposition 68, 2005 California special election, Value proposition

2004 California Proposition 62, 1986 California Proposition 63, 2006 Arizona Proposition 107, 1994 California Proposition 187, 2002 California Proposition 49, 1996 California Proposition 218, 1986 California Proposition 60, 2004 California Proposition 58, 2004 California Proposition 60A, 2004 California Proposition 1A, 1996 California Proposition 209, California Proposition 13, 2012 California Proposition 39, 2004 California Proposition 65, 2018 California Proposition 7, 2016 California Proposition 60, 2008 California Proposition 10, 2002 California Proposition 50, 2004 California Proposition 60, 2009 California Proposition 1A, 2010 California Proposition 20, Self-evidence, 2010 Arizona Proposition 203, 2022 California Proposition 1, 2008 Arizona Proposition 102, 1958 California Proposition 18, 1964 California Proposition 14, 1978 California Proposition 13, 8: The Mormon Proposition, 1986 California Proposition 64, 2008 California Proposition 6, 1978 California Proposition 6, 2012 California Proposition 30, Customer value proposition, 2008 California Proposition 8, 2018 California Proposition 6, 2010 California Proposition 16, 2005 California Proposition 74, 2006 Arizona Proposition 207, Propositional representation, 2012 California Proposition 32, 2014 California Proposition 47, 2012 California Proposition 37, June 2010 California elections, 1998 California Proposition 227, 2012 California Proposition 36, 2016 California Proposition 57, 2008 California Proposition 5, 2000 California Proposition 39, 2008 California Proposition 7

Proposition, Nineteen Propositions, List of California ballot propositions, 2008 California Propositions 98 and 99, List of California ballot propositions: 2020–2029, Propositions (album), List of California ballot propositions: 2010–2019, 2008 California Propositions 94, 95, 96, and 97, List of California ballot propositions: 2000–2009, Probabilistic proposition, List of Arizona ballot propositions, California ballot proposition, Categorical proposition, 110 Propositions for France, List of California ballot propositions: 1990–1999, Propositional logic, Propositional formula, List of California ballot propositions: 1970–1979, List of California ballot propositions: 1980–1989, Propositional variable, 2009 California Proposition 1F, Proposition (disambiguation), Proposition 203, 2009 California Proposition 1D, Proposition 17, 2009 California Proposition 1C, Propositional attitude, On Formally Undecidable Propositions of Principia Mathematica and Related Systems, 2009 California Proposition 1B, California Proposition 1A, 2012 California Proposition 28, California Proposition 14, 2018 California Proposition 12, 2009 California Proposition 1E, 2022 California Proposition 27, 2022 California Proposition 30, 1988 California Proposition 90, 2004 California Proposition 57, 2018 California Proposition 68, 2005 California special election, Value proposition, 2004 California Proposition 62, 1986 California Proposition 63, 2006 Arizona Proposition 107, 1994 California Proposition 187, 2002 California Proposition 49, 1996 California Proposition 218, 1986 California Proposition 60, 2004 California Proposition 58, 2004 California Proposition 60A, 2004 California Proposition 1A, 1996 California Proposition 209, California Proposition 13, 2012 California Proposition 39, 2004 California Proposition 65, 2018 California Proposition 7, 2016 California Proposition 60, 2008 California Proposition 10, 2002 California Proposition 50, 2004 California Proposition 60, 2009 California Proposition 1A, 2010 California Proposition 20, Self-evidence, 2010 Arizona Proposition 203, 2022 California Proposition 1, 2008 Arizona Proposition 102, 1958 California Proposition 18, 1964 California Proposition 14, 1978 California Proposition 13, 8: The Mormon Proposition, 1986 California Proposition 64, 2008 California Proposition 6, 1978 California Proposition 6, 2012 California Proposition 30, Customer value proposition, 2008 California Proposition 8, 2018 California Proposition 6, 2010 California Proposition 16, 2005 California Proposition 74, 2006 Arizona Proposition 207, Propositional representation, 2012 California Proposition 32, 2014 California Proposition 47, 2012 California Proposition 37, June 2010 California elections, 1998 California Proposition 227, 2012 California Proposition 36, 2016 California Proposition 57, 2008 California Proposition 5, 2000 California Proposition 39, 2008 California Proposition 7, 2016 California Proposition 67, Protests against Proposition 8 supporters, 2000 California Proposition 36, 2006 California Proposition 82, 2008 California Proposition 1A, Propositional proof system, Analytic–synthetic distinction, 2006 California elections, Policy-ineffectiveness proposition, 1972 California Proposition 19, 2012 California Proposition 34, 2020 California Proposition 14, 2020 California Proposition 15, 1998 California elections, 2008 California Proposition 91, 1980 Massachusetts Proposition 2½, 2016 California Proposition 64, 2006 California Proposition 89, 2000 California Proposition 21, Proposition Infinity, Propositional function, 2004 Arizona Proposition 200, 2012 California Proposition 38, 2006 California Proposition 87, 1996 California Proposition 215, 1998 California Proposition 10, 2006 Arizona Proposition 204, California Proposition 6, California Proposition 99, 1978 California Proposition 8, 2010 California Proposition 27, California Proposition 16, 2016 California Proposition 65, 2005 San Francisco Proposition I, 2016 California Proposition 56, 2008 California Proposition 12, Unique selling proposition, 2018 California Proposition 69, 2021 Texas constitutional amendment election, Proposition 7, Trivialism, 1996 California Proposition 218 (Local Initiative Power), 2008 California Proposition 2, California Proposition 20, Proposition 2, 2012 California Proposition 31, 2012 California Proposition 29, The Proposition (Leyster), Proposition 8 (disambiguation), The Proposition (soundtrack), 2016 California Proposition 59, 2006 California Proposition 85, 2008 California Proposition 3, California Proposition 4, Proposition 57, 2016 California Proposition 58, Proposition 48, 2005 California Proposition 73, 2008 California Proposition 93, Atomic sentence